- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540611554
354061155X
- Umfang
-
IX, 618 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Hybrid systems
Lecture notes in computer science ; 1066
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore
- (wer)
-
Springer
- (wann)
-
1996
- Beteiligte Personen und Organisationen
-
Alur, Rajeev
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:09 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Alur, Rajeev
- Springer
Entstanden
- 1996
Ähnliche Objekte (12)
Formal verification of model refactorings for hybrid control systems
Compositional stability verification of hybrid systems
Tactical contract composition for hybrid system component verification
Service-oriented design and verification of hybrid systems
Hybrid multi-agent systems: modeling, specification and verification
Verification hybrid control of a wheeled mobile robot and manipulator
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Implementation and verification of distributed control systems
Specification and verification of hybrid and real time systems
Verification and control of partially observable probabilistic systems
Hybrid event-based control systems
Hybrid systems, 2. / Panos Antsaklis ... (ed.)
Formal verification of model refactorings for hybrid control systems
Compositional stability verification of hybrid systems
Tactical contract composition for hybrid system component verification
Service-oriented design and verification of hybrid systems
Hybrid multi-agent systems: modeling, specification and verification
Verification hybrid control of a wheeled mobile robot and manipulator
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Implementation and verification of distributed control systems
Specification and verification of hybrid and real time systems
Verification and control of partially observable probabilistic systems
Hybrid event-based control systems
Hybrid systems, 2. / Panos Antsaklis ... (ed.)
Formal verification of model refactorings for hybrid control systems
Compositional stability verification of hybrid systems
Tactical contract composition for hybrid system component verification
Service-oriented design and verification of hybrid systems
Hybrid multi-agent systems: modeling, specification and verification
Verification hybrid control of a wheeled mobile robot and manipulator
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Implementation and verification of distributed control systems
Specification and verification of hybrid and real time systems
Verification and control of partially observable probabilistic systems
Hybrid event-based control systems