| 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 |
A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus ()