Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor.

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar

Browse the full SEFM paper archive.