Protocolized Modeling and Verification of Cyber Physical Systems - Giovanni Merlino
Giovanni Merlino from the University of Messina presents a course on protocolized modeling and verification of cyber-physical systems, situated within a master's program in computer science focused on infrastructure automation and embedded systems. The talk introduces the curriculum context and foundational domain concepts necessary for understanding how protocolization applies to cyber-physical system design and verification.
Giovanni Merlino