Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification

Verfasser / Beitragende:
[Volker Krebs, Eckehard Schnieder]
Ort, Verlag, Jahr:
2001
Enthalten in:
at - Automatisierungstechnik, 49/2/2001(2001-02), 51
Format:
Artikel (online)
ID: 378669265