Login / Signup
Automatic generation of power state machines through dynamic mining of temporal assertions.
Alessandro Danese
Graziano Pravadelli
Ivan Zandona
Published in:
DATE (2016)
Keyphrases
</>
state machines
state machine
temporal information
petri net
temporal sequences
itemsets
fault tolerant