Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Bidrag til rapport
2014

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (red.). Microsoft Research, s. 15-26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review

2008

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2008, Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification, Bind LSV-08-34. 15 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

2006

Formal Methods for Abstract Specifications – A Comparison of Concepts

Instenberg, M., Schneider, A., Schnetter, S., Heinkel, U., Larsen, K. G. & Behrmann, G., 2006, Technical Report. IEEE Press, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning