Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control

• Authors:

• Stefan Kowalewski;Jörg Preußig

• Affiliations:

• -;-

• Venue:
• TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1996