Вы здесь
Seviora R. E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Assume-Guarantee Algorithms for Automatic Detection of Software Failures | 2002 | Zulkernine M., Seviora R. E. | Lecture Notes in Computer Science | 21.06.2002 | |||
| СТ | Toward Automatic Detection of Software Failures | 1998 | Savor T., Seviora R. E. | Computer | 29.09.1998 | |||
| СТ | Object Oriented Framework for Generating Machine Understanding of a Digital System Design | 1992 | Malhotra P., Seviora R. E. | Lecture Notes in Artificial Intelligence | 09.07.1992 |