Formal 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:
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.