Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.
(xsd:string)
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.
(xsd:string)