Treffer: A comprehensive framework for the analysis of automotive systems

Title:
A comprehensive framework for the analysis of automotive systems
Authors:
Cimatti, Alessandro, Corfini, Sara, Cristoforetti, Luca, Di Natale, Marco, Griggio, Alberto, Puri, Stefano, Tonetta, Stefano
Source:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. :379-389
Availability:
http://dl.acm.org/doi/10.1145/3550355.3552408
Database:
ACM Full-Text Collection