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 |
Speaker
Computer Science Dept., University of Milan, Italy
| Thu, 10:00 | Compositional Simulation of Abstract State Machines for Safety Critical Systems |