Number: Control 59/94
Author(s): HOOMAN, J., VAIN, J.
Title: Compositional specification of control systems software. 34 p.
Language: English
ABSTRACT: In this report a specification and verification
technique is proposed which is applicable in control software
development process.