- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540611554
354061155X
- Extent
-
IX, 618 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Hybrid systems
Lecture notes in computer science ; 1066
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore
- (who)
-
Springer
- (when)
-
1996
- Contributor
-
Alur, Rajeev
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:09 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Alur, Rajeev
- Springer
Time of origin
- 1996
Other Objects (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