A verification methodology for real-time supervisory control specification

• Authors:

• Sengoda G. Shanmugham;Chell A. Roberts

• Affiliations:

• -;-

• Venue:
• ICC&IE '94 Proceedings of the 17th international conference on Computers and industrial engineering
• Year:
• 1995