Вы здесь

Главная

model checking

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

Model Checking: Knowledge, Actions and Fixpoints
Model-Checking of Specifications Integrating Processes, Data and Time
Model Checking of Systems Employing Communicative Functions
Model Checking Quantified Computation Tree Logic
Model Checking Software: Proc./12t International SPIN Workshop. San Francisco, CA, USA, August 2005
Model Checking Software: Proc./13th International SPIN Workshop. Vienna, Austria, March/April 2006
Model Checking Software: Proc./15th International SPIN Workshop. LA, USA, August 2008
Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009
Model Checking Software: Proc./20th International Symposium, SPIN 2013, Stony Brook,NY,USA, July 2013
Model Checking Software: Proc./23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2016
Model Checking Software: Proc./25th International Symposium, SPIN 2018, Malaga, Spain, June 2018
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday
Model Checking the Time to Reach Agreement
Model Driven Engineering Languages and Systems: Proc./14th International Conference, MODELS 2011, Wellington, New Zealand, October 2011
Model-Driven Engineering Languages and Systems: Proc./17th International Conference, MODELS 2014, Valencia, Spain, September 2014
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models and Software Model Checking of a Distributed File Replication System
Models in Software Engineering: Reports and Revised Selected Papers/ Workshop and Symposia at MODELS 2008, Toulouse, France, September/October 2009
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Multi-Agent Systems: Revised Selected Papers/16th European Conference, EUMAS 2018, Bergen, Norway, December 2018
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021
NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017
Networked Systems: Revised Selected Papers/7th International Conference, NETYS 2019, Marrakesh, Morocco, June 2019
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016
Numerical Software Verification: Proc./12th International Workshop, NSV 2019, New York City,NY,USA, July 2019
On decidability of LTL model checking for process rewrite systems
Optimizing Bounded Model Checking for Linear Hybrid Systems
Parallel and Distributed Model Checking in Eddy
Parameterized Models for Distributed Java Objects
Perspectives of System Informatics: Revised Selected Papers/9th International Ershov Informatics Conference, PSI 2014, St.Petersburg, Russia, June 2014
Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010
Practical Aspects of Declarative Languages: Proc./7th International Symposium, PADL 2005. Long Beach, CA, USA, January 2005
PRIMA 2019: Principles and Practice of Multi-Agent Systems: Proc./22nd International Conference, Turin, Italy, October 2019
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012
Programming Languages and Systems: Proc./11th Asian Symposium, APLAS 2013, Melbourn,VIC,Australia, December 2013
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016
Programming Languages and Systems: Proc./14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Programming Languages and Systems: Proc./18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 2020
Programming Languages and Systems: Proc./19th Asian Symposium, APLAS 2021, Chicago,IL,USA, October 2021