"Automatic Verification of Real-Time Systems with Rich Data: An Overview"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Real-Time Systems: Formal Specification and Automatic Verification	Ernst-Rüdiger Olderog; Henning Dierks	2008-09	Cambridge University Press
Modeling and Verification of Real-time Systems	Nicolas Navet; Stephan Merz	2008	John Wiley & Sons
Real-Time Systems: Scheduling, Analysis, and Verification	Albert M. K. Cheng	2002	John Wiley & Sons
Specification and Compositional Verification of Real-Time Systems	Jozef Hooman	1991	Springer Berlin Heidelberg
Compositional Verification of Concurrent and Real-Time Systems	Eric Y.T. Juan; Jeffrey J.P. Tsai	2002	Springer US
The Inverse Method / Parametric Verification of Real-time Unbedded Systems	Étienne André	2013	John Wiley & Sons
Real-time data processing systems; introductory concepts	William H. Desmonde	1964	Prentice-Hall
Real-time data processing systems: introductory concepts	William Herbert Desmonde	1964	Prentice-Hall
Scientific Computation with Automatic Result Verification	Ulrich Kulisch; Hans J. Stetter	1988	Springer Vienna
Scientific Computing with Automatic Result Verification	E. Adams and U. Kulisch (Eds.)	1993	Elsevier, Academic Press
AVIS: an automatic verification system for CAD circuit-data base using PADIKS	Ming-Tsair Dai	1989
Verification and Validation of Real-Time Software	William J. Quirk	1985	Springer Berlin Heidelberg
Real Time Programming: Languages, Specification & Verification	R. K. Shyamasundar, S. Ramesh	2002	World Scientific Publishing Company
Automatic identification and data collection systems	Cohen, Jonathan	1994	McGraw-Hill
Big Data: principles and best practices of scalable real-time data systems	Nathan Marz	2015	Manning
Data Communications: An Overview	Myron Even Sveum	June 11, 1999	Prentice Hall
Automatic Parallelization: An Overview of Fundamental Compiler Techniques	Samuel Midkiff		Springer International Publishing
Automatic Parallelization: An Overview of Fundamental Compiler Techniques	Samuel P. Midkiff	2012	Morgan & Claypool
Real-time systems /	Krishna, C. M.; Shin, Kang G.	[1997], ©1997.	McGraw-Hill,
Real-Time systems /	Liu, Jane W. S.	2000.	Prentice Hall,
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Automatic Verification of Real-Time Systems with Rich Data: An Overview	Ernst-Rüdiger Olderog	Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings	Manindra Agrawal; Barry S. Cooper; Angsheng Li	2012	Springer Berlin Heidelberg
Automatic Verification of Real-Time Systems with Discrete Probability Distributions	Marta Kwiatkowska; Gethin Norman; Roberto Segala; Jeremy Sproston	Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS' 99, Bamberg, Germany, May 26-28, 1999, Proceedings	Jost-Pieter Katoen	1999	Springer Berlin Heidelberg
An Overview of Real-Time Database Systems	Ben Kao; Hector Garcia-Molina	Real Time Computing	Alexander D. Stoyenko	1994	Springer Berlin Heidelberg
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving	Wang Yi; Paul Pettersson; Mats Daniels	Formal Description Techniques VII	Dieter Hogrefe; Stefan Leue	1st ed. 1995	Springer US
Verification of Embedded Real-time Systems	Paula Herber; Sabine Glesner	Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015	Rolf Drechsler; Ulrich Kühne	2015	Springer Fachmedien Wiesbaden
Verification of Real-Time Probabilistic Systems	Marta Kwiatkowska; Gethin Norman; David Parker; Jeremy Sproston	Modeling and Verification of Real-time Systems	Nicolas Navet; Stephan Merz	2008	John Wiley & Sons
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification	Victor A. Braberman; Miguel Felder	Software Engineering - ESEC/FSE ' 99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings	Oskar Nierstrasz; Michel Lemoine	1999	Springer Berlin Heidelberg
Automatic synthesis of real time systems	JØrgen H. Andersen; Kåre J. Kristoffersen; Kim G. Larsen; Jesper Niedermann	Automata, Languages and Programming: 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings	Zoltan Fülöp; Ferenc Gecseg	1995	Springer Berlin Heidelberg
An Overview of Automatic Speaker Verification System	Ravika Naika	Intelligent Computing and Information and Communication: Proceedings of 2nd International Conference, ICICC 2017	Subhash Bhalla; Vikrant Bhateja; Anjali A. Chandavale; Anil S. Hiwale; Suresh Chandra Satapathy	1st ed. 2018	Springer Nature Singapore
Real-Time Systems Development with Duration Calculi: An Overview	Dang Van Hung	Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers	Bernhard K. Aichernig; Tom Maibaum	2003	Springer Berlin Heidelberg
Verification with real-time COSPAN	C. Courcoubetis; D. Dill; M. Chatzaki; P. Tzounakis	Computer Aided Verification: Fourth International Workshop, CAV ' 92, Montreal, Canada, June 29 - July 1, 1992. Proceedings	Gregor von Bochmann; David K. Probst	1993	Springer Berlin Heidelberg
UPPAAL — a tool suite for automatic verification of real-time systems	Johan Bengtsson; Kim Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi	Hybrid Systems III: Verification and Control	Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag	1996	Springer Berlin Heidelberg
19. An Overview of Real-Time Database Systems	Ben Kao and Hector Garcia-Molina	Advances in real-time systems /	Son, Sang H.	1995.	Prentice Hall,
Testing Distributed Real-Time Systems: An Overview	Werner Schütz	Predictably Dependable Computing Systems	Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Bev Littlewood	1995	Springer Berlin Heidelberg
Modelling and Verification of Real-Time Systems with Alvis	Marcin Szpyrka; Łukasz Podolski; Michał Wypych	Towards a Synergistic Combination of Research and Practice in Software Engineering	Piotr Kosiuczenko; Lech Madeyski	1st ed. 2018	Springer International Publishing
Design and verification of real-time systems	John W. Baugh Jr.	Artificial Intelligence in Structural Engineering: Information Technology for Design, Collaboration, Maintenance, and Monitoring	Ian Smith	1998	Springer Berlin Heidelberg
Verification of real-time systems using PVS	N. Shankar	Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings	Costas Courcoubetis	1993	Springer Berlin Heidelberg
Efficient verification of parallel real-time systems	Tomohiro Yoneda; Atsufumi Shibayama; Bernd-Holger Schlingloff; Edmund M. Clarke	Computer Aided Verification: 5th International Conference, CAV' 93, Elounda, Greece, June 28 - July 1, 1993. Proceedings	Costas Courcoubetis	1993	Springer Berlin Heidelberg
Verification of real time chemical processing systems	Adam L. Turk; Scott T. Probst; Gary J. Powers	Hybrid and Real-Time Systems: International Workshop, HART' 97, Grenoble, France, March 26-28, 1997, Proceedings	Oded Maler	1997	Springer Berlin Heidelberg
Overview of Real-Time Data Analytics		Critical Heart Disease in Infants and Children	Ross M. Ungerleider, Kristen Nelson, David S Cooper, Jon Meliones, Jeffrey Jacobs	2018	Elsevier
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Automatic Verification of Real-Time Systems with Rich Data: An Overview" - similar Books and Chapters