A comprehensive framework for the analysis of automotive systems.

Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta

Browse the full MODELS paper archive.