Login / Signup
Carmelo Loiacono
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 5
Top Topics
Finite State
Formal Specification
Temporal Properties
Model Checking
Top Venues
DATE
J. Satisf. Boolean Model. Comput.
Int. J. Softw. Tools Technol. Transf.
Sensors
</>
Publications
</>