An integrated state- and event-based framework for verifying liveness in supervised systems
| Title | An integrated state- and event-based framework for verifying liveness in supervised systems |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Markovski, J, Reniers, MA |
| Conference Name | ICARCV |
| Publisher | IEEE |
Work Package:
WP4
