March 1st1 module
Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo
Modules
Module 1: Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo (Mehran Moeini Jam)Mar 1, 2023, 9:00 AM – 10:30 AM
Module 1: Formal Verification of Safety-Critical Distributed Systems: Fundamentals of Model Checking and Tempo (Mehran Moeini Jam)Mar 1, 2023, 9:00 AM – 10:30 AM
Presenter
Mehran Moeini Jam
Member of Performance & Dependability lab