1
Publications
26
Citations
1
H-Index
2014
Active since
Affiliations
Technical University of Munich(Current)
Alarico Campetelli is an author at Technical University of Munich specializing in industrial informatics, formal methods, and computer engineering.
Top concepts
DesignAutomationEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1