Logotype Mälardalenn University

MRTC publications



A Formal Model of the Ada Ravenscar Tasking Profile; Delay Until

Authors: Kristina Lundqvist, Lars Asplund
Source: Proc. ACM SIGAda Annual International Conference'99, p 15-21, Redondo Beach, USA
 

Abstract

 

BibTeX entry

@inproceedings{Lundqvist_2223:1999,
   author = {Kristina Lundqvist and Lars Asplund},
   title = {A Formal Model of the Ada Ravenscar Tasking Profile; Delay Until},
   booktitle = {Proc. ACM SIGAda Annual International Conference'99},
   month = {October},
   year = {1999},
   pages = {15-21},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2223},
}

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