A case study in hybrid process safety verification
- 31 December 1996
- journal article
- Published by Elsevier in Computers & Chemical Engineering
- Vol. 20, S503-S508
- https://doi.org/10.1016/0098-1354(96)00093-2
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Automatic verification of sequential control systems using temporal logicAIChE Journal, 1992