Вы здесь

David A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Real-Time Animator for Hybrid Systems 2001 Amnell T., David A., Yi W. Lecture Notes in Computer Science 11.04.2001
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001
СТ Formal Verification Of UML Statecharts with Real-Time Extensions 2002 David A., Moller M. O., Yi W. Lecture Notes in Computer Science 15.05.2002
СТ Specification, Implementation, and Validation of Object-Oriented Embedded Systems 2002 Gerard S., David A., Terrier F. Lecture Notes in Computer Science 11.06.2002
СТ Unification & Sharing in Timed Automata Verification 2003 David A., Behrmann G., Larsen K. G., Yi W. Lecture Notes in Computer Science 29.05.2003