Вы здесь

Главная

временная система

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

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
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./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Formal Modeling and Analysis of Timed Systems: Proc./14th International Conference, FORMATS 2016, Quebec,QC, Canada, August 2016
Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Foundations of Software Science and Computation Structures: Proc./18th International Conference, FOSSACS 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
Robust Model-Checking of Linear-Time Properties in Timed Automata
Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Об унификации поведенческих эквивалентностей временных систем переходов
Теоретико-категорные исследования временных систем переходов с независимостью