Вы здесь
Nickovic D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Checking Temporal Properties of Discrete, Timed, and Continuous Behaviors | 2008 | Maler O., Nickovic D., Pnueli A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 15.04.2008 | ||
| СТ | Real Time Temporal Logic: Past, Present, Future | 2006 | Maler O., Nickovic D., Pnueli A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 16.03.2006 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020 | 2020 | Lecture Notes in Computer Science |
|
21031 | 17.09.2020 | ||
| СБ | Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012 | 2012 | Lecture Notes in Computer Science |
|
01.10.2012 |