Вы здесь

Главная

model checking

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

Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021
Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022
Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005
Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006
Verification, Model Checking, and Abstract Interpretation: Proc./8th International Conference,VMCAI 2007 Nice,France,January 2007
Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008
Verified Software: Revised Selected Papers/9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2017
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
Web Services and Formal Methods: Revised Selected Papers/10th International Workshop, WS-FM 2013, Beijing, China, August 2013
Well-Structured Model Checking of Multiagent Systems