Login / Signup
Gianpaolo Massaroli
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Modeling Method
Fine Grained
Tool Suite
Top Venues
SAFECOMP Workshops
</>
Publications
</>
Marco Carloni
,
Orlando Ferrante
,
Alberto Ferrari
,
Gianpaolo Massaroli
,
Antonio Orazzo
,
Luigi Velardi
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.
SAFECOMP Workshops
(2015)
Marco Carloni
,
Orlando Ferrante
,
Alberto Ferrari
,
Gianpaolo Massaroli
,
Antonio Orazzo
,
Ida Petrone
,
Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
SAFECOMP Workshops
(2014)