Speaker
Silvia Bonfanti
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 |