Interchange semantics for hybrid system models / A., Pinto; L. P., Carloni; Passerone, Roberto; A. L., Sangiovanni vincentelli. - ELETTRONICO. - (2006). ((Intervento presentato al convegno 5th Vienna International Conference on Mathematical Modeling (MATHMOD) tenutosi a Vienna nel 7-10, February, 2006.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | Interchange semantics for hybrid system models | |
Autori: | A., Pinto; L. P., Carloni; Passerone, Roberto; A. L., Sangiovanni vincentelli | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Proceedings of the 5th Vienna International Conference on Mathematical Modelling (MATHMOD06) | |
Luogo di edizione: | Vienna, Austria | |
Casa editrice: | Mathmod | |
Anno di pubblicazione: | 2006 | |
Handle: | http://hdl.handle.net/11572/77783 | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione