Вы здесь

Ioustinova N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Transformation of SDL Specification - A Step towards the Verification 2001 Ioustinova N., Sidorova N. Lecture Notes in Computer Science 06.02.2002
СТ Synchronous Closing and Flow Analysis for Model Checking Timed Systems 2004 Ioustinova N., Sidorova N., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 12.02.2005
СТ Timed Verification with mCRL 2003 Blom S., Ioustinova N., Sidorova N. Lecture Notes in Computer Science 18.02.2004