Approaches to the Formal Verification of Hybrid Systems
Gespeichert in:
Verfasser / Beitragende:
[St. Kowalewski, P. Herrmann, Sebastian Engell, R. Huuck, H. Krumm, Y. Lakhnech, B. Lukoschus, H. Treseler]
Ort, Verlag, Jahr:
2001
Enthalten in:
at - Automatisierungstechnik, 49/2/2001(2001-02), 66
Format:
Artikel (online)
Online Zugang: