FACS 2022

Speaker

Patrizia Scandurra

DIGIP - University of Bergamo, Italy

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

 Overview