Presentation title

Model Checking Lab: Simulation Based Verification and Design of Cyber Physical Systems

Authors

Enrico Tronci, Toni Mancini, Marco Esposito, Igor Melatti, Ivano Salvo, Massini Annalisa and Angela Pappagallo

Institution(s)

Sapienza University of Rome

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

---

Additional material

For more details on this presentation please click the button below: