Carnegie Mellon University

Software Engineering Institute

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2024

Carnegie Mellon University