Logotype Mälardalenn University

MRTC publications



Safety Critical Systems Based on Formal Models

Authors: Lars Asplund, Kristina Lundqvist
Source: SIGAda'2000, Laurel, MD, USA
 

Abstract

 

BibTeX entry

@inproceedings{Asplund_2272:2000,
   author = {Lars Asplund and Kristina Lundqvist},
   title = {Safety Critical Systems Based on Formal Models},
   booktitle = {SIGAda'2000},
   month = {November},
   year = {2000},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2272},
}

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