ruenmonch
AAAТема белого цветаТема черного цвета
Логотип АлтГТУАлтайский государственный технический университет им. И.И. Ползунова
ГлавнаяПубликации › Совместное применение методов ...

Совместное применение методов Model driven developing и Model based checking

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