Вы здесь

Главная

формальный метод

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

Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012
Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014
Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions
Agent-Oriented Software Engineering X: Revised Selected Papers/10th International Workshop, AOSE 2009, Budapest, Hungary, May 2009
Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Artificial Intelligence: Methods and Applications: Proc./8th Hellenic Conference on AI, SETN 2014, Ioannia, Greece, May 2014
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Automated Test Generation and Verified Software
Autonomic and Trusted Computing: Proc./7th International Conference, ATC 2010, Xi an, China, October 2010
B 2007: Formal Specification and Development in B: Proc./7th International Conference of B Users. Besancon, France, January 2007
Combining Algebraic and Model-Based Test Case Generation
Component Tools: Integrating Petri Nets with Other Formal Methods
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computer Aided Verification, Part I: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010
Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computer Performance Engineering: Proc./11th European Workshop, EPEW 2014, Florence, Italy, September 2014
Computer Science - Theory and Applications: Proc./8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 2013
Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008
Computing and Combinatorics: Proc./20th International Conference, COCOON 2014, Atlanta,GA,USA, August 2014
Coordination Models and Languages: Proc./10th International Conference, COORDINATION 2008. Oslo, Norway, June 2008
Coordination Models and Languages: Proc./16th IFIP WG 6.1 International Conference, COORDINATION 2014 Held as Part of the 9th International Federated Conference, DisCoTec 2014, Berlin, Germany, June 2014
Coordination Models and Languages: Proc./19th IFIP WG 6.1 International Conference, COORDINATION 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017
Data Engineering and Management: Revised Selected Papers/2nd International Conference, ICDEM 2010, Tiruchirappalli, India, July 2010
Declarative Agent Languages and Technologies VII: Revised Selected and Invited Papers/7th Internatiional Workshop, DALT 2009, Budapest, Hungary, May 2009
Declarative Agent Languages and Technologies V: Revised Selected and Invited Papers/5th International Workshop, DALT 2007. Honolulu, HI, USA, May 2007
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Deontic Logic and Normative Systems: Proc./12th International Conference, DEON 2014, Ghent, Belgium, July 2014
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Descriptional Complexity of Formal Systems: Proc./13th International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 2011
Developments in Language Theory: Proc./11th International Conference, DLT 2007. Turku, Finland, July 2007
Engineering Multi-Agent Systems: Revised, Selected, and Invited Papers/3rd International Workshop, EMAS 2015, Istanbul, Turkey, May 2015
Engineering Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, EMAS 2016, Singapore, Singapore, May 2016