Browsing Computer Science and Software Engineering by Author "Sobel, Ann"
Now showing items 1-1 of 1
-
Applying an Operational Formal Method to Safety-Critical Systems
Sobel, Ann (1996-11-01)Despite thirty years of study by the academic community, industry has not embraced the systematic usage of formal methods. To address this concern, a formal method is proposed which possesses many of the qualities that ...