Вы здесь

Главная

временной автомат

Связанные издания:

Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006
Automated Technology for Verification and Analysis: Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, October 2011
Branching Time Semantics for UML 2.0 Sequence Diagrams
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
Categorical Modelling of trace equivalence for timed automata models with invariants
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Compositional and Quantitative Model Checking (Extended Abstract)
Computer Aided Verification, Part I: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
CONCUR 2013 - Concurrency Theory: Proc./24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Software Engineering: Proc./13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 2011
Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012
Formal Modeling and Analysis of Timed Systems: Proc./11th International Conference, FORMATS 2013, Buenos Aires. Argentina, August 2013
Formal Modeling and Analysis of Timed Systems: Proc./16th International Conference, FORMATS 2018, Beijing, China, September 2018
Formal Modeling and Analysis of Timed Systems: Proc./17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 2019
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Formal Modeling and Analysis of Timed Systems: Proc./9th International Conference, FORMATS 2011, Aalbord, Danmark, September 2011
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 2011
Model-Checking of Specifications Integrating Processes, Data and Time
Model Checking the Time to Reach Agreement
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017
On Interleaving in Timed Automata
Open Maps Bisimulations for Higher Dimensional Automata Models
Reachability Problems: Proc./5th International Workshop, RP 2011, Genoa, Italy, September 2011
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Real Time Temporal Logic: Past, Present, Future
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Software Composition: Proc./11th International Conference, SC 2012, Prague, Czech Republic, May 2012
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
The timed barbed bisimulation is decidable for timed transition systems with invariants
Timed Testing with TorX
Timed Unfoldings for Networks of Timed Automata
Translating Timed I/O Automata Specifications for Theorem Proving in PVS
Undecidable Problems About Timed Automata