Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
Gespeichert in:
Verfasser / Beitragende:
[G. Nenninger, B. Nixdorf, Volker Krebs, Jan Lunze]
Ort, Verlag, Jahr:
2001
Enthalten in:
at - Automatisierungstechnik, 49/2/2001(2001-02), 75
Format:
Artikel (online)
Online Zugang: