File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx

From Ivoire
Revision as of 07:21, 31 May 2023 by IvoireDL (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/TimeDimensionsUserComment
current07:21, 31 May 2023 (5.78 MB)IvoireDL (talk | contribs)

You cannot overwrite this file.

The following page uses this file:

Retrieved from "https://isse.jku.at/ivoire/index.php?title=File:Angelo_Gargantini_-_Compositional_Simulation_of_Abstract_State_Machines_for_Safety_Critical_Systems.pptx&oldid=195"