... Кафедра существует с момента основания факультета ВМК МГУ в 1970 году. ... развитие методов верификации программ и технологий программирования на основе моделей . ... Спецсеминары кафедры љ љ Спецкурсы кафедры љ љ Просеминар для 2 курса Пропустить доступные курсы . ... КорныхинљЕ.В. Учитель: Денис Буздалов . ... Учитель: Евгений Корныхин . ... от Евгений Корныхин - вторник, 11 марта 2014, 18:21 . 13 марта состоится очередное заседание просеминара кафедры. ... История кафедры Пропустить Навигация . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
Оптоэлектроника на основе широкозонных полупроводниковых гетероструктур А3N и А2В6 Иванов Сергей Викторович Физико-технический институт им. А.Ф. Иоффе, Санкт-Петербург Среди бинарных полупроводников А3В5 за последние 20 лет наиболее активно и плодотворно развивались технологии, физика и приборные применения гетероструктур А3-нитридов (AlGaIn)N. Это привело 7 октября ... Phys. Status Solidi A 210, 439 (2013), feature paper. ... Phys. 114 , 124306 (2013). ... 7] S.V. Ivanov et al., ...
[
Текст
]
Ссылки http://cm.phys.msu.ru/vfiles/12nov14/IvanovSV_abstract_12nov14.doc -- 44.0 Кб -- 11.11.2014 Похожие документы