Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time
2010 ◽
Vol 27
(6)
◽
pp. 1654-1661
Keyword(s):
1994 ◽
Vol 111
(2)
◽
pp. 193-244
◽
Keyword(s):
Keyword(s):
1997 ◽
Vol 19
(2)
◽
pp. 386-412
◽
Keyword(s):
Keyword(s):
Keyword(s):
1997 ◽
pp. 562-582
◽