icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Mike Tudball
Mike Tudball
Mike Tudball is an SEI alumni employee.
All
Survey of Formal Specification Techniques for Reactive Systems
May 1, 1990
•
Technical Report
By
Patrick R. Place
,
William Wood
,
Mike Tudball