By the same authors

Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

Research output: Chapter in Book/Report/Conference proceedingConference contribution



Publication details

Title of host publicationProceedings of the NASA Langley Formal Methods Workshop
DatePublished - 2000
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations