Вы здесь
Gargantini A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automatic Model Driven Animation of SCR Specifications | 2003 | Gargantini A., Riccobene E. | Lecture Notes in Computer Science | 17.04.2003 | |||
| СТ | Using Model Checking to Generate Tests from Requirements Specifications | 1999 | Gargantini A., Heitmeyer C. | Lecture Notes in Computer Science | 14.10.1999 | |||
| СТ | Proving Automated Support to Deductive Analysis of Time Critical Systems | 1997 | Alborghetti A., Gargantini A., Morzenti A. | Lecture Notes in Computer Science | 03.10.1997 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Tests and Proofs: Proc./4th International Conference, TAP 2010, Malaga, Spain, July 2010 | 2010 | Lecture Notes in Computer Science |
|
21.09.2010 |