Вы здесь

Главная

усовершенствование

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

Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013
Formal Methods: Founations and Applications: Proc./18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, Septenber 2015
Intelligent Human Computer Interaction: Proc./11th International Conference, IHCI 2019, Allahabad, India, December 2019
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Transactions on Petri Nets and Other Models of Concurrency X
Transactions on Petri Nets and Other Models of Concurrency XII