Formale Verifikation eingebetteter Systeme
Autor: | Viktor K. Sabelfeld, Klaus Schneider, G. Logothetis, Michaela Huhn, Detlef Schmid |
---|---|
Rok vydání: | 1999 |
Předmět: | |
Zdroj: | itit. 41:12-16 |
ISSN: | 2196-7032 1611-2776 |
Databáze: | OpenAIRE |
Externí odkaz: |