MRTC publications

Abstract

BibTeX entry

@inproceedings{Ouimet_1432:2006,
   author = {Martin Ouimet and Kristina Lundqvist},
   title = {The Timed Abstract State Machine Language and the Hi-Five Framework},
   booktitle = {27th IEEE International Real-Time Systems Symposium (RTSS '06) - Work in Progress Session},
   month = {December},
   year = {2006},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1432},
}