Eintrag weiter verarbeiten
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
Gespeichert in:
Zeitschriftentitel: | IEICE Transactions on Information and Systems |
---|---|
Personen und Körperschaften: | , , |
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: |