![Theoretical computer science / Vienna Development Method / Formal specification / John Fitzgerald / Life-critical system / Software development process / SIGNAL / Analysis / Formal methods / Software development / Science Theoretical computer science / Vienna Development Method / Formal specification / John Fitzgerald / Life-critical system / Software development process / SIGNAL / Analysis / Formal methods / Software development / Science](https://www.pdfsearch.io/img/6b94b75636db78c8ca1e2214ddcbbe8c.jpg)
| Document Date: 2008-06-10 09:34:32 Open Document File Size: 58,52 KBShare Result on Facebook
City Parkin / Austin / / Company RTL / / / Event Product Issues / / Facility Anthony Hall / / IndustryTerm safety-critical systems / supported tools / software industry / formal methods tools / real large-scale software / fewer industrial tools / industrial applications / Technology transfer / technology insertion / / Organization National Aeronautics and Space Administration / Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus / / Person John Fitzgerald / Juan Bicarregui / Peter Gorm Larsen / / Product Polaroid a330 Digital Camera / Materials Critical Systems Z+MALPAS Hamilton Switching Telecoms Z+Statecharts Mataga / Zave IDay FM / / ProgrammingLanguage CICS / / RadioStation Zave IDay FM / 9 What / Fitzgerald IDay FM / PVS IDay FM / ASAP IDay FM / FM 10 / IDay FM / Different FM / /
SocialTag |