L U S I O N S AG / Computer Based Systems / IEEE Comp / 18th Digital Avionics Systems / / /
Facility
National Institute of Standards and Technology / Model Checkers Vadim Okun Paul E. Black National Institute of Standards and Technology Gaithersburg / /
National Institute of Standards and Technology / Rutgers / National Aeronautics and Space Administration / IEEE Computer Society / Institute of Standards and Technology Gaithersburg / /
Person
P. E. Black / Y. Yesha / W. Majurski / P. E. Ammann / V. Okun / D. Zhou / P. Ammann / Vadim Okun Paul / /