Constance Heitmeyer

Constance Heitmeyer from the United States Naval Research Laboratory, Washington, DC was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for "contributions to formal methods for modeling and analyzing software and systems". Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Heitmeyer, Constance', query time: 0.02s Refine Results
  1. 1
    The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems

    The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems by Heitmeyer, Constance, Lynch, Nancy A.

    Published 2023
    Get full text

Search Tools: