CHIRICO, ROBERTA
CHIRICO, ROBERTA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (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
Virtual Prototyping a Production Line using Assume-Guarantee Contracts
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 | |
| Virtual Prototyping a Production Line using Assume-Guarantee Contracts | 1-gen-2020 | Spellini, Stefano; Chirico, Roberta; Panato, Marco; Lora, Michele; Fummi, Franco |