IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.
IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.
EnglishFormal verification of production systems performance: a new approach to the detailed system design phase / Spoletini P.; Tomassella M.; Matta A.; Rossi M.. - (2006). ((Intervento presentato al convegno 5th CIRP International Seminar on Intelligent Computation in Manufacturing Engineering tenutosi a Ischia, Italia nel 25-28 luglio 2006.
| Titolo: | Formal verification of production systems performance: a new approach to the detailed system design phase |
| Autori: | |
| Data di pubblicazione: | 2006 |
| Handle: | http://hdl.handle.net/11383/18691 |
| Appare nelle tipologie: | Relazione (in Volume) |
File in questo prodotto:
Copyright © 2019