Публикации

Year:

All :: 2007, 2009, 2010, 2011, ... , 2017

Author:

All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э

References

Articles:
Шошмина, И.В. Проектирование программных бортовых систем управления с поддержкой верификации Модел. и анал. информ. систем, 17(4):125-136 2010 mais.uniyar.ac.ru/sites/d...private/17_4__125-136.pdf /~irena/papers/Shoshmina2010.pdf
Books:
Шошмина, И.В.; Карпов, Ю.Г. Введение в язык Promela и систему комплексной верификации Spin Publisher: СПбГПУ, Санкт-Петербург 2010
Contributions to proceedings:
Шошмина, И.В.; Карпов, Ю.Г. Технология проектирования и верификации распределенных бортовых систем Материалы международного семинара PSSV Казань 2010

Export as:

mailto: webmaster@dcn.ftk.spbstu.ru