Speaker
Angelo Gargantini
University of Bergamo, Italy
Talks at this conference:
Thu, 10:00 | Compositional Simulation of Abstract State Machines for Safety Critical Systems |
Speaker
University of Bergamo, Italy
Thu, 10:00 | Compositional Simulation of Abstract State Machines for Safety Critical Systems |