CHIRICO, ROBERTA
CHIRICO, ROBERTA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0
2019-01-01 Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco
Production Recipe Validation through Formalization and Digital Twin Generation
2020-01-01 Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Contract-based Methodology for Production Lines Validation | 1-gen-2019 | Chirico, Roberta; Spellini, Stefano; Panato, Marco; Lora, Michele; Fummi, Franco | |
| Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0 | 1-gen-2019 | Spellini, Stefano; Chirico, Roberta; Lora, Michele; Fummi, Franco | |
| Production Recipe Validation through Formalization and Digital Twin Generation | 1-gen-2020 | Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco |