Вы здесь

Amnell T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems 2004 Amnell T., Fersman E., Mokrushin L., Pettersson P., Yi W. Lecture Notes in Computer Science 03.06.2004
СТ 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
СТ A Real-Time Animator for Hybrid Systems 2001 Amnell T., David A., Yi W. Lecture Notes in Computer Science 11.04.2001