Nuzzo, Pierluigi

Nuzzo, Pierluigi  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
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
Special issue: Formal verification of cyber-physical systems 1-gen-2022 Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano
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