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

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

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

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

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.