Вы здесь

Главная

моделирование по

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

Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014