Nuzzo, Pierluigi
Nuzzo, Pierluigi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
2022-01-01 Lora, Michele; Nuzzo, Pierluigi
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
2023-01-01 Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts
2022-01-01 Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads
2023-01-01 Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems | 1-gen-2022 | Lora, Michele; Nuzzo, Pierluigi | |
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses | 1-gen-2023 | Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi | |
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts | 1-gen-2022 | Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi | |
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads | 1-gen-2023 | Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi |