Вы здесь
Raskin J. -F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Real-Time Model-Checking: Parameters Everywhere | 2003 | Bruyere V., Raskin J. -F. | Lecture Notes in Computer Science | 30.01.2004 | |||
| СТ | Towards and Automated Verification of Multithreaded Java Programs | 2002 | Delzanno G., Raskin J. -F., Van Begin L. | Lecture Notes in Computer Science | 21.05.2002 | |||
| СТ | Axioms for Real-Time Logics | 1998 | Raskin J. -F., Schobbens P. -Y., Henzinger T. A. | Lecture Notes in Computer Science | 11.09.1998 | |||
| СТ | The Regular Real-Time Languages | 1998 | Henzinger T. A., Raskin J. -F., Schobbens P. -Y. | Lecture Notes in Computer Science | 11.08.1998 | |||
| СТ | Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time | 1997 | Raskin J. -F., Schobbens P. -Y. | Lecture Notes in Computer Science | 12.04.1997 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016 | 2016 | Lecture Notes in Computer Science |
|
16.06.2016 | |||
| СБ | Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014 | 2014 | Lecture Notes in Computer Science |
|
18.11.2014 | |||
| СБ | Formal Modeling and Analysis of Timed Systems: Proc./5th International Conference, FORMATS 2007. Salzburg, Austria, October 2007 | 2007 | Lecture Notes in Computer Science |
|
19.01.2008 |