Формальные модели и анализ корректности параллельных систем и систем реального времени : диссертация на соискание ученой степени доктора физико-математических наук

Телефон: +7 (391) 291-28-63
E-mail: sppa [at] sfu-kras [dot] ru

Служба поддержки публикационной активности СФУ

Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.

Перевод названия: Formal Models and Correctness Analysis of Concurrent and Real-Time Systems

Тип публикации: диссертация

Год издания: 2001

Ключевые слова: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей