Вы здесь

Skou A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compositional Verification of Probabilistic 1992 Larsen K. G., Skou A. Lecture Notes in Computer Science 20.10.1992
СТ Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL 1999 Havelund K., Larsen K. G., Skou A. Lecture Notes in Computer Science 18.06.1999
СТ Scaling Up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction 2000 Jensen H. E., Larsen K. G., Skou A. Lecture Notes in Computer Science 25.10.2000
СТ Practical Verification of Embedded Software 2000 Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B. Computer 26.07.2000
СТ Automated Test Generation from Timed Automata 2001 Nielsen B., Skou A. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.05.2001
СТ Time-Optimal Test Cases for Real-Time Systems 2004 Hessel A., Larsen K. G., Nielsen B., Pettersson P., Skou A. Lecture Notes in Computer Science 03.06.2004
СТ Time-Optimal Real-Time Test Case Generation Using UPPAAL 2004 Hessel A., Larsen K. G., Nielsen B., Pattersson P., Skou A. Lecture Notes in Computer Science 11.03.2004