Eintrag weiter verarbeiten
Buchumschlag von Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
Verfügbar über Open Access

Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: IEICE Transactions on Information and Systems
Personen und Körperschaften: ZHANG, Haitao, AOKI, Toshiaki, CHIBA, Yuki
In: IEICE Transactions on Information and Systems, E98.D, 2015, 10, S. 1765-1776
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Institute of Electronics, Information and Communications Engineers (IEICE)
Schlagwörter: