File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx
Jump to navigation
Jump to search
Angelo_Gargantini_-_Compositional_Simulation_of_Abstract_State_Machines_for_Safety_Critical_Systems.pptx (file size: 5.78 MB, MIME type: application/vnd.openxmlformats-officedocument.presentationml.presentation)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 07:21, 31 May 2023 | (5.78 MB) | IvoireDL (talk | contribs) |
You cannot overwrite this file.
File usage
The following page uses this file:
