FACS 2022

Speaker

Angelo Gargantini

University of Bergamo, Italy

Talks at this conference:
 Thu, 10:00 Compositional Simulation of Abstract State Machines for Safety Critical Systems

 Overview