Logotype Mälardalenn University

PROGRESS publications



The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering

Authors: Martin Ouimet (MIT), Kristina Lundqvist
Source: Journal of Universal Computer Science (JUCS), vol 14
 

Abstract

 

BibTeX entry

@article{Ouimet_1425:2007,
   author = {Martin Ouimet and Kristina Lundqvist},
   title = {The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering},
   journal = {Journal of Universal Computer Science (JUCS)},
   volume = {14},
   month = {July},
   year = {2007},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1425},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03