Eintrag weiter verarbeiten
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Uloženo v:
Název časopisu: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Electronic Proceedings in Theoretical Computer Science, 80, 2012, s. 130-144 |
Formát: | Článek |
Jazyk: | angličtina |
vydáno v: |
Open Publishing Association
|
Předměty: |