Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Paper uden forlag/tidsskrift
2014

Towards a Method for Combined Model-based Testing and Analysis

Nielsen, B., 9 jan. 2014. 10 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

Fil
9 Citationer (Scopus)
481 Downloads (Pure)
2011

Optimal Infinite Runs in One-Clock Priced Timed Automata

David, A., Ejsing-Duun, D., Fontani, L., Larsen, K. G., Popescu, V. & Haubach Smedegård, J., 2011. 9 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

2009

A quantitative characterization of weighted Kripke structures in temporal logic

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

2004

Modelling and Verification of Real Time Systems

Larsen, K. G., 2004.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskning