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 |
Speaker
DIGIP - University of Bergamo, Italy
| Thu, 10:00 | Compositional Simulation of Abstract State Machines for Safety Critical Systems |