Eintrag weiter verarbeiten
Emlan: A Language for model checking of embedded systems software
Gespeichert in:
Zeitschriftentitel: | IFAC Proceedings Volumes |
---|---|
Personen und Körperschaften: | , |
In: | IFAC Proceedings Volumes, 39, 2006, 21, S. 126-131 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |