Statistics
Publications
1
Citations
16
H-Index
1
Active since
2009
Affiliations
Fondazione Bruno Kessler(Current)
Alessandro Mariotti is an author at Fondazione Bruno Kessler specializing in design, automated reasoning, and computer science.
Publications per year
2009–2009
1
1
Supporting Requirements Validation: The EuRailCheck Tool
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti et al. · 2009 · 16 citations
Software Maintenance, Engineering, Thirty Railway Experts +23
1–1 of 1