"Verifying Linear Duration Constraints of Timed Automata"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
The theory of timed I/O automata	Dilsun K. Kaynar	2011	Morgan & Claypool
The Theory of Timed I/O Automata, Second Edition	Dilsun Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager		Springer International Publishing
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems	Howard Bowman; Rodolfo Gomez	2006	Springer London
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)	2006	Springer-Verlag Berlin Heidelberg
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Internal and External Stabilization of Linear Systems with Constraints	Ali Saberi; Anton A. Stoorvogel; Peddapullaiah Sannuti	2013	Birkhäuser Boston
Control of Linear Systems with Regulation and Input Constraints	Ali Saberi; Anton A. Stoorvogel; Peddapullaiah Sannuti	2000	Springer London
Testing Problems with Linear or Angular Inequality Constraints	Johan C. Akkerboom	1990	Springer New York
Random linear programs with many variables and few constraints	Charles Blair	1983	College of Commerce and Business Administration, University of Illinois at Urbana-Champaign
Verifying Nuclear Disarmament	Thomas Shea	2018	Routledge
Verifying Temporal Properties of Systems	J.C. Bradfield	1992	Birkhäuser Boston
Duration.		2000.	[s.n.],
Automata	David Hopkin, Barbara Moss (auth.)	1976	Macmillan Education UK
The strength of surrogate constraints for the linear zero-one integer programming problem	Giordano, Frank R.	1982	Naval Postgraduate School
Products of Automata	Ferenc Gecseg	1986	Springer Berlin Heidelberg
Theory of Automata	Arto Salomaa; I. N. Sneddon; M. Stark and J. P. Kahane	1969	Pergamon
Equivocal duration /	Stucky, Steven.; Burel, Joshua,; Little, David T.,; McLoskey, Lansing D.,
Equivocal duration.	Stucky, Steven.; Burel, Joshua,; Little, David T.,; McLoskey, Lansing D.,
Passing duration	Stephen Rodefer	1991	Burning Deck
Timed Readings: Book 8	Edward Spargo	April 1, 1989	Glencoe/McGraw-Hill
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
Verifying Linear Duration Constraints of Timed Automata	Pham Hong Thai; Dang Van Hung	Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers	Zhiming Liu; Keijiro Araki	2005	Springer Berlin Heidelberg
Verifying timed behavior automata with nonbinary delay constraints	David K. Probst; Hon F. Li	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
Verifying Duration Properties of Timed Transition Systems	Z. Liu; A. P. Ravn; X. Li	Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2. 2, 2. 3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA	David Gries; Willem-Paul de Roever	1998	Springer US
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata	Marta Kwiatkowska; Gethin Norman; Roberto Segala; Jeremy Sproston	CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings	Catuscia Palamidessi	2000	Springer Berlin Heidelberg
Nested Timed Automata with Diagonal Constraints	Yuwei Wang; Yunqing Wen; Guoqiang Li; Shoji Yuen	Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi' an, China, November 13-17, 2017, Proceedings	Zhenhua Duan; Luke Ong	1st ed. 2017	Springer International Publishing
Timed Automata		Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach	Wojciech Penczek; Agata Pólrola	2006	Springer Berlin Heidelberg
Timed Automata	Rajeev Alur	Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Timed Automata	Béatrice Bérard; Michel Bidoit; Alain Finkel; François Laroussinie; Antoine Petit; Laure Petrucci et al.	Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Timed Automata	Jun Sun; Yang Liu; Jin Song Dong	Handbook of Finite State Based Models and Applications	Jiacun Wang	2012	Routledge
Timed Automata	Dilsun K. Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager	The Theory of Timed I/O Automata, Second Edition	Dilsun Kaynar; Nancy Lynch; Roberto Segala; Frits Vaandrager		Springer International Publishing
Timed Automata	Rajeev Alur	Computer Aided Verification: 11th International Conference, CAV' 99, Trento, Italy, July 6-10, 1999, Proceedings	Nicolas Halbwachs; Doron Peled	1999	Springer Berlin Heidelberg
Timed automata		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems	Patricia Bouyer; François Laroussinie; Pierre-Alain Reynier	Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings	Paul Pettersson; Wang Yi	2005	Springer Berlin Heidelberg
Linear Parametric Model Checking of Timed Automata	Thomas Hune; Judi Romijn; Mariëelle Stoelinga; Frits Vaandrager	Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings	Tiziana Margaria; Wang Yi	2001	Springer Berlin Heidelberg
Verifying invariance properties of timed systems with duration variables	Ahmed Bouajjani; Rachid Echahed; Riadh Robbana	Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings	Hans Langmaack; Willem-Paul de Roever; Jan Vytopil	1994	Springer Berlin Heidelberg
Timed Automata with Observers under Energy Constraints		HSCC'10: proceedings of the 13th International Conference on hybrid systems: computation and control: April 12-15, 2010, Stockholm, Sweden	Karl Henrik Johansson, Wang Yi, Association for Computing Machinery. Special Interest Group on Embedded Systems	2010	Association for Computing Machinery
Mapping Temporal Planning Constraints into Timed Automata	L. Khatib, N. Muscettola and K. Havelund	TIME 2001: Eighth International Symposium on Temporal Representation and Reasoning: proceedings: 14-16 June, 2001, Cividale del Friuli, Italy /	IEEE Computer Society	[2001], ©2001.	IEEE Computer Society Press,
Definition of timed automata		The theory of timed I/O automata	Dilsun K. Kaynar	2011	Morgan & Claypool
Fuzzy-Timed Automata	F. Javier Crespo; Alberto de la Encina; Luis Llana	Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6. 1 International Conference, FMOODS 2010 and 30th IFIP WG 6. 1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings	John Hatcliff; Elena Zucca	2010	Springer Berlin Heidelberg
Untameable Timed Automata!	Patricia Bouyer	STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings	Helmut Alt; Michel Habib	2003	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verifying Linear Duration Constraints of Timed Automata" - similar Books and Chapters