Вы здесь
Joubert Ch.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Distributed On-the-Fly Model Checking and Test Case Generation | 2006 | Joubert Ch., Mateescu R. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.05.2006 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009 | 2009 | Lecture Notes in Computer Science |
|
21.11.2009 |