Publications

Becker, Markus; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Fummi, F.; Pravadelli, G.; Vinco, Sara : MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution . In: {Design, Automation and Test in Europe (DATE 2012), Mar 2012

Bibtex

@inproceedings{hniid=5759,
author = {Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara },
title = {MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution },
booktitle = {{Design, Automation and Test in Europe (DATE 2012)},
month = mar,
year = {2012},
}