"Nested Timed Automata with Diagonal Constraints"

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
Nested.	Nyro, Laura,	[1978], ℗1978.	Columbia,
Learning with Nested Generalized Exemplars	Steven L. Salzberg	1990	Springer US
Diagonal flying /	Gehlhaar, Rolf,; Ryder, Julia,; Jenkins, Peter,; Jones, Trevor,; Woodward, Roger,; Gehlhaar, Rolf,; Gehlhaar, Rolf,; Gehlhaar, Rolf,; Gehlhaar, Rolf,	[1992], ℗1992.	Dist. by Qualiton Imports Ltd.,
Classical Statistical Mechanics with Nested Sampling	Robert John Nicholas Baldock	1st ed. 2017	Springer International Publishing
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
Architecture timed: designing with time in mind /	Franck, Karen A.,		Wiley & Sons, Limited, John
New presentation of cooking with timed recipes	Auguste Gay	1924	Ringsmith and Wellman
Optimization with PDE Constraints	Michael Hinze; Rene Pinnau; Michael Ulbrich; Stefan Ulbrich	2009	Springer Netherlands
Hybrid Systems with Constraints	Jamal Daafouz; Sophie Tarbouriech; Mario Sigalotti	2013	John Wiley & Sons
Optimization with Disjunctive Constraints	H.D. Sherali; C.M. Shetty	1980	Springer Berlin Heidelberg
Automata Theory with Modern Applications	James A. Anderson	2006-06	Cambridge University Press
R-diagonal dilation semigroups	Kemp T.	2008
Death on the Diagonal	Nero Blanc	October 4, 2006	Wheeler Publishing
Death on the diagonal	Nero Blanc	2006	Berkley Prime Crime
Iterations of the diagonal	Michael Boughn	1995	Shuffaloff
Decentralized Systems with Design Constraints	Magdi S. Mahmoud	2011	Springer London
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
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
Updatable Timed Automata with Additive and Diagonal Constraints	Lakshmi Manasa; Shankara Narayanan Krishna; Kumar Nagaraj	Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings	Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe	2008	Springer Berlin Heidelberg
Nested Timed Automata	Guoqiang Li; Xiaojuan Cai; Mizuhito Ogawa; Shoji Yuen	Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings	Víctor Braberman; Laurent Fribourg	2013	Springer Berlin Heidelberg
Nested Timed Automata with Invariants	Yuwei Wang; Guoqiang Li; Shoji Yuen	Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings	Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang	1st ed. 2017	Springer International Publishing
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
Nested Timed Automata with Frozen Clocks	Guoqiang Li; Mizuhito Ogawa; Shoji Yuen	Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings	Sriram Sankaranarayanan; Enrico Vicario	1st ed. 2015	Springer International Publishing
Fast Algorithms for Handling Diagonal Constraints in Timed Automata	Paul Gastin; Sayan Mukherjee; B. Srivathsan	Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I	Isil Dillig; Serdar Tasiran	1st ed. 2019	Springer International Publishing
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
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
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.)
Infinite Runs in Weighted Timed Automata with Energy Constraints	Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey; Jiří Srba	Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings	Franck Cassez; Claude Jard	2008	Springer Berlin Heidelberg
Checking Workflow Schemas with Time Constraints Using Timed Automata	Elisabetta De Maria; Angelo Montanari; Marco Zantoni	On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings	Zahir Tari	2005	Springer Berlin Heidelberg
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
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,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Nested Timed Automata with Diagonal Constraints" - similar Books and Chapters