Вы здесь
Herrmann P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Security Policy Verification of Distributed Component-Structured Software | 2003 | Herrmann P. | Lecture Notes in Computer Science | 26.12.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | System Analysis and Modeling: About Models: Revised Selected Papers/6th International Workshop, SAM 2010, Oslo, Norway, October 2010 | 2011 | Lecture Notes in Computer Science |
|
22.09.2011 | |||
| СБ | Trust Management: Proc./Third International Conference, iTrust 2005. Paris, France, May 2005 | 2005 | Lecture Notes in Computer Science |
|
18.08.2005 |