Login / Signup
Gian Perrone
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 2
Top Topics
Detect Anomalies
Transition Systems
Model Checker
Development Environments
Top Venues
IEEE Trans. Reliab.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Innov. Syst. Softw. Eng.
SAC
</>
Publications
</>