Вы здесь
Gribomont E. P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Reactive Variables for System Specification and Design | 1994 | Gribomont E. P., Hagelstein J. | Lecture Notes in Computer Science | 26.03.1994 | |||
| СТ | CAVEAT: Technique and Tool for Computer Aided Verification and Transformation | 1995 | Gribomont E. P., Rossetto D. | Lecture Notes in Computer Science | 26.07.1995 | |||
| СТ | Decidability of Invariant Validation for Paramaterized Systems | 2003 | Fontaine P., Gribomont E. P. | Lecture Notes in Computer Science | 17.04.2003 |