Formale Verifikation eingebetteter Systeme.

Detlef Schmid Klaus Schneider Michaela Huhn George Logothetis Viktor K. Sabelfeld

Published in: Informationstechnik Tech. Inform. (1999)

Keyphrases