Вы здесь

Jeannet B.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ From Safety Verification to Safety Testing 2004 Rusu V., Marchand H., Tschaen V., Jeron T., Jeannet B. Lecture Notes in Computer Science 01.04.2004
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001