Login / Signup
Ivan Zandona
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Itemsets
Petri Net
Temporal Sequences
State Machine
Top Venues
DATE
</>
Publications
</>
Alessandro Danese
,
Graziano Pravadelli
,
Ivan Zandona
Automatic generation of power state machines through dynamic mining of temporal assertions.
DATE
(2016)