MARAZZA, MARCO
MARAZZA, MARCO
Mostra
prodotti
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
A model-based methodology to generate code for timer units
2016 Marazza, Marco; Menichelli, Francesco; Olivieri, Mauro; Ferrante, Orlando; Ferrari, Alberto
Automatic generation of failure scenarios for soc
2014 Marazza, Marco; Orlando, Ferrante; Alberto, Ferrari
Towards a programming and analysis framework for timer units
2013 Marazza, Marco; Fabio, Cremona; Daniele Ceraolo, Spurio; Carsten, Demuth; Christian, Nastasi; Alberto, Ferrari
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A model-based methodology to generate code for timer units | 2016 | Marazza, Marco; Menichelli, Francesco; Olivieri, Mauro; Ferrante, Orlando; Ferrari, Alberto | |
Automatic generation of failure scenarios for soc | 2014 | Marazza, Marco; Orlando, Ferrante; Alberto, Ferrari | |
Towards a programming and analysis framework for timer units | 2013 | Marazza, Marco; Fabio, Cremona; Daniele Ceraolo, Spurio; Carsten, Demuth; Christian, Nastasi; Alberto, Ferrari |