Алтайский государственный технический университет им. И.И. ПолзуноваГлавная › Публикации › Совместное применение методов ...
Совместное применение методов Model driven developing и Model based checking
Авторы:
Вид публикации: Тезисы
Инструменты и методы анализа программ. Tools & Methods of Program Analysis TMPA-2014: материалы Международной науч.-практ. конф.- Кострома: Изд-во Костромского гос. технол. ун-та, 2014. - с. 215-220. ISBN 975-5-8285-0719-1.
