Bookmark

Safety critical systems based on formal models

Asplund, Lars; Lundqvist, Kristina
ACM SIGAda Ada Letters , Volume XX (4) Association for Computing MachineryDec 1, 2000

Loading next page...

End of preview. The entire article is 8 pages. Rent for Free

 
/lp/association-for-computing-machinery/safety-critical-systems-based-on-formal-models-oNCDiTEMAK
Title
Safety critical systems based on formal models
Author(s)
Asplund, Lars; Lundqvist, Kristina
Journal
ACM SIGAda Ada Letters , Volume XX (4) Association for Computing Machinery – Dec 1, 2000
Publisher
Association for Computing Machinery
Copyright
Copyright © 2000 by ACM Inc.
ISSN
1094-3641
D.O.I.
10.1145/369264.369267
Publisher site
Get PDF