Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
model checking
Связанные издания:
Integrated Formal Methods: Proc./8th International Conference, IFM 2010, Nancy, France, October 2010
Integrated Formal Methods: Proc./9th International Conference, IFM 2012, Pisa, Italy, June 2012
Interactive Theorem Proving: Proc./9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
International Symposium on Fundamentals of Software Engineering: Proc./ International Symposium, FSEN 2007. Tehran, Iran, April 2007
It s All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Language and Automata Theory and Applications: Proc./6th International Conference, LATA 2012, A Coruna, Spain, March 2012
Language and Automata Theory and Applications: Proc./7th International Conference, LATA 2013, Bilbao, Spain, April 2013
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Language, Mathodologies, and Development Tools for Multi-Agent Systems: Revised Selrcted Papers/ Second International Workshop, LADS 2009, Torino, Italy, September 2009
Languages, Mathodologies, and Development Tools for Multi-Agent Systems: Revised Selected Papers/3rd International Workshop, LADS 2010, Lyon, France, August 2010
Larger Automata and Less Work for LTL Model Checking
Large-Scale Model Checking LTL
Lectures on Runtime Verification: Introductory and Advanced Topics
Leveraging Applications of Formal Mathods, Verification and Validation. Technologies for Mastering Change, Part I: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greece, October 2012
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018
Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
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
Localizing Program Errors for Cimple Debugging
Logic and Games on Automatic Structures: Playing with Quantifiers and Decomposition
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017
Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/8th Iternational Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 2012
Mathematical Foundations of Computer Science 2012: Proc./37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 2012
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March, 2012
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault-Tolerance: Proc./17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 2014
Membrane Computing: Revised Selected Papers/16th International Conference, CMC 2015, Valencia, Spain, August 2015
Membrane Computing: Revised Selected Papers/18th International Conferece, CMC 2017, Bradford, UK, July 2017
Membrane Computing: Revised Selected Papers/19th International Conference, CMC 2018, Dresden, Germany, September 2018
Merged processes: a new condensed representation of Petri net behaviour
Methods, Models and Tools for Fault Tolerance
Model and Data Engineering: Proc./4th International Conference, MEDI 2014, Larnaca, Cyprus, September 2014
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017
Model Checking and Artificial Intelligence: Revised Selected and Invited Papers/4th Workshop, MoChArt IV. Riva del Garda, Italy, August 2006
Model Checking and Artificial Intelligence: Revised Selected and Invited Papers/5th International Workshop, MoChArt 2008. Patras, Greece, July 2008
Model Checking: Back and Forth between Hardware and Software
Model Checking Durational Probabilistic Systems (Extended Abstract)
Model Checking for Database Theoreticians
Model-Checking for pi-Calculus Using Proof Search
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
« первая
‹ предыдущая
…
2
3
4
5
6
7
8
9
10
следующая ›
последняя »