Вы здесь

Главная

верификация модели

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

SDL 2013: Model-Drived Dependability Engineering: Proc./16th International SDL Forum, Montreal, Canada, June, 2013
Theory and Practice of Model Transformations: Proc./7th International Conference, ICMT 2014 Held as Part of STAF 2014, York, UK, July 2014