University of Minnesota
Software Engineering Center

You are here

Holly Hildreth

Recent Publications

Requirements Specification for Process Control Systems

This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS II).