FROM THE LAB TO ACTUAL STRUCTURES: THE CHALLENGES OF COMPOSITE PROCESS DEVELOPMENT Prof. Pascal Hubert, McGill University January 15, 2014, 10:00 am, NIA, Rm 101 Abstract: The production of high…
Tag: 2014 Seminars
01-14-2014 | Pete Manolios: V&V: Bridging the Gap Between Theory and Practice
V&V: BRIDGING THE GAP BETWEEN THEORY AND PRACTICE Pete Manolios, Northwestern University January 14, 2014, 10:30 am, NASA Langley, Bldg 1220, Rm 212 Abstract: It is universally recognized that V&V…
01-09-2014 | Sayan Mitra: Simulation-Based to Verification of Temporal Precedence
SIMULATION-BASED TO VERIFICATION OF TEMPORAL PRECEDENCE Sayan Mitra, University of Illinois, Urbana-Champaign January 9, 2014,10:00 am, NASA Langley, Bldg 1220, Rm 212 Abstract: Design defects in embedded systems can be…