Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
A Contract-based Methodology for Production Lines Validation
2019-01-01 Chirico, Roberta; Spellini, Stefano; Panato, Marco; 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 |
---|---|---|---|
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 | |
A Contract-based Methodology for Production Lines Validation | 1-gen-2019 | Chirico, Roberta; Spellini, Stefano; Panato, Marco; 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 |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile