Вы здесь
Rico N.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Model-Checking for Real-Time Systems Specified in Lotos | 1993 | Rico N., Von Bochmann G., Cherkaoui O. | Lecture Notes in Computer Science | 07.05.1993 | |||
СТ | Specification and Analysis of a Security Management System | 1994 | Cherkaoui O., Rico N., Bernardi A. | Lecture Notes in Computer Science | 09.12.1994 |