Вы здесь

Xie F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Translating Software Designs for Model Checking 2004 Xie F., Levin V., Kurshan R. P., Browne J. C. Lecture Notes in Computer Science 16.04.2004
СТ Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs 2002 Xie F., Browne J. C. Lecture Notes in Computer Science 15.05.2002
СТ Automatic Creation of Environment Models via Training 2004 Ball T., Levin V., Xie F. Lecture Notes in Computer Science 15.05.2004