Вы здесь
Cassez F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Extending the Translation from SDL to Promela | 2002 | Prigent A., Cassez F., Dhaussy P., Roux O. | Lecture Notes in Computer Science | 01.05.2002 | |||
| СТ | Comparison of the Expressiveness of Timed Automata and Time Petri Nets | 2006 | Berard B., Cassez F., Haddad S., Lime D., Roux O. H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 16.03.2006 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Modeling and Verification of Parallel Processes: Proc./4th Summer School, MOVEP 2000, Nantes, France, June 2000 | 2001 | Lecture Notes in Computer Science |
|
04.11.2001 | |||
| СБ | Formal Modeling and Analysis of Timed Systems: Proc./6th International Conference, FORMATS 2008. Saint Malo, France, September 2008 | 2008 | Lecture Notes in Computer Science |
|
16.12.2008 | |||
| СБ | 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 |