Eintrag weiter verarbeiten
Research on Formal Verification Technique for Aircraft Safety-Critical Software
Gespeichert in:
Zeitschriftentitel: | Journal of Computers |
---|---|
Personen und Körperschaften: | , , |
In: | Journal of Computers, 5, 2010, 8 |
Format: | E-Article |
Sprache: | Unbestimmt |
veröffentlicht: |
International Academy Publishing (IAP)
|
Schlagwörter: |
ISSN: |
1796-203X
|
---|---|
DOI: | 10.4304/jcp.5.8.1152-1159 |