Вы здесь
Perin M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols | 2003 | Bozga L., Lakhnech Y., Perin M. | Lecture Notes in Computer Science | 19.09.2003 | |||
| СТ | Consistency Checking for Multiple View Software Architectures | 1999 | Fradet P., Le Metayer D., Perin M. | Lecture Notes in Computer Science | 14.10.1999 |