Galois / Katholieke Univ Leuven / Center / Paris / ONERA / Norfolk / CNRS / International / Univ de Louvain / /
Company
Rockwell Collins / Monoidics Ltd. / Microsoft / /
Country
United States / / /
Facility
University of York / Princeton University / NASA Langley Research Center / NASA Ames Research Center / University of Iowa Submissions There / New York University / Brigham Young University / National Institute of Aerospace / NASA Johnson Space Center / /
IndustryTerm
hybrid and embedded systems / aerospace systems / cyber-physical systems / safety-critical systems / separation assurance algorithms / /
OperatingSystem
Hurd / /
Organization
NASA Langley Research Center Program Committee / New York University / UK Steering Committee / University of York / Princeton University / Concordia Univ / Univ of Singapore / Univ of Minnesota / Brigham Young University / Univ of Stellenbosch / Queen Mary Univ of London / Kansas State Univ / NASA Ames Research Center / National Institute of Aerospace / Univ of Maryland / University of Iowa Submissions There / Univ of Pennsylvania / National Aeronautics and Space Administration / NASA Langley Research Center / London South Bank Univ / /
Person
Jin Song Dong / Rance Cleaveland / Ben Di Vito / Dino Distefano / Bart Jacobs / Joe Hurd / Jean-Christophe Filliatre / Oleg Sokolsky / Virginie Wiels / Patrick Cousot / Mary Univ / John Hatcliff / Darren Cofer / James Rash / Charles Pecheur / Mike Whalen / Jim Woodcock / Cesare Tinelli / Natasha Neogi / Ewen Denney / Eric Goubault / Klaus Havelund / Gerard Holzmann / Kristin Y. Rozier / Andrew Appel / Jonathan Bowen / /
SECOND CALL FOR PAPERS NFM 2012 Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/