Model-driven engineering and safety-critical embedded software

Computer

Volumn 42, Issue 9, 2009, Pages 93-95

  Shukla, Sandeep K ^a  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

Atmospheric modeling; Autocode generation; Computational modeling; Data mining; Europe; Formal verification; Mathematical model; Model driven engineering; Safety critical embedded software; Software

Indexed keywords

EID: 70349456217     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2009.294     Document Type: Article

References (0)