FACS 2022

Speaker

Elvinia Riccobene

Computer Science Dept., University of Milan, Italy

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

 Overview