Editors:
- Tutorial overview of state of the art in computer-aided verification
- Emphasis on industrial applications and hybrid systems
- Leading international experts present latest research
- Includes supplementary material: sn.pub/extras
Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 170)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 chapters)
-
Hybrid Systems: Modeling and Verification
-
Back Matter
About this book
Editors and Affiliations
-
Faculty of Engineering and Natural Sciences , Sabanci University, Tuzla-Istanbul, Turkey
M. Kemal Inan
-
Bell Laboratories, 600 Mountain Avenue, USA
Robert P. Kurshan
Bibliographic Information
Book Title: Verification of Digital and Hybrid Systems
Editors: M. Kemal Inan, Robert P. Kurshan
Series Title: NATO ASI Subseries F:
DOI: https://doi.org/10.1007/978-3-642-59615-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Softcover ISBN: 978-3-642-64052-0Published: 30 September 2011
eBook ISBN: 978-3-642-59615-5Published: 06 December 2012
Series ISSN: 0258-1248
Edition Number: 1
Number of Pages: XVIII, 405
Topics: Computer Systems Organization and Communication Networks, Software Engineering, Computation by Abstract Devices, Artificial Intelligence, Complexity
Industry Sectors: Aerospace, Biotechnology, Electronics, Energy, Utilities & Environment, IT & Software, Telecommunications