Публикации

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

Articles:

Кондратьев, М.А., Ивановский, Р.И.; Цыбалова, Л.М.
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ, 11(2):126-132
February 2010

Books:

Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
Карпов, Ю.Г.
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
Карпов, Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1

Contributions to proceedings:

Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
Export as:
BibTeX, XML