Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
model checking
Связанные издания:
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011
Formal Verification of Web Applications Modeled by Communicating Automata
Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Information and Knowledge Systems: Proc./7th International Symposium, FolKS 2012, Kiel, Germany, March 2012
Foundations of Software Science and Computational Structures: Proc./11th International Conference, FOSSACS 2008, Part of ETAPS 2008
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Foundations of Software Science and Computation Structures: Proc./8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
From Monadic Logic to PSL
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011
Frontiers of Combining Systems: Proc./9th International Symposium, FroCoS 2013, Nancy, France, September 2013
Fudamental Approaches to Software Engineering: Proc./22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010
Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014
Fundamental Approaches to Software Engineering: Proc./16th International Conference, FASE 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Fundamental Approaches to Software Engineering: Proc./24th International Conference, FASE 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Fundamentals of Computation Theory: Proc./21st International Symposium, FCT 2017, Bordeaux, France, September 2017
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Fundamentals of Software Engineering: Revised Selected Papers/4th IPM International Conference, FSEN 2011, Tehran, Iran, April 2011
Fundamentals of Software Engineering: Revised Selected Papers/5th International Conference, FSEN 2013, Tehran, Iran, April 2013
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Graph Transformation: Proc./12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 2019
Graph Transformation: Proc./13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Hardware and Software: Verification and Testing: Proc./11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 2015
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Hardware and Software: Verification and Testing: Proc./9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 2013
Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007
Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009
Hardware and Software: Verification and Testing: Revised Selected Papers/6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 2010
Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011
Hardware and Software: Verification and Testing: Revised Selected Papers/8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 2012
Horizons of the Mind: A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data: Proc./3rd International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 2013
Implementation and Application of Automata: Proc./18th International Conference, CIAA 2013, Halifax,NS,Canada, July 2013
Implementation and Application of Automata: Proc./19th International Conference, CIAA 2014, Giessen, Germany, July 2014
Implementation and Application of Automata: Revised Selected Papers/ 12th International Conference CIAA 2007. Prague, Czech Republic, July 2007
Infinite State Model-Checking of Propositional Dynamic Logics
Integrated Formal Mathods: Proc./7th International Conference, IFM 2009, Dusseldorf, Germany, February 2009
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Integrated Formal Methods: Proc./15th International Conference, IFM 2019, Bergen, Norway, December 2019
Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »