Gallery of new files
Jump to navigation
Jump to search
This special page shows the last uploaded files.
Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx IvoireDL
07:21, 31 May 2023
; 5.78 MB
- Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf IvoireDL
07:21, 31 May 2023
; 16.97 MB
- D. Geleßus - Classification and Semantics of Validation Tasks.pdf IvoireDL
07:17, 31 May 2023
; 1.47 MB
- Alexander Egyed - DesignSpace for collaborative engineering.pdf IvoireDL
13:19, 9 June 2022
; 3.81 MB
- Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf IvoireDL
20:43, 7 June 2022
; 2.39 MB
- Angelo Gargantini - On the importance of scenario-based validation.pptx IvoireDL
20:43, 7 June 2022
; 3.63 MB
- Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf IvoireDL
20:42, 7 June 2022
; 119 KB
- Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf IvoireDL
12:23, 7 June 2022
; 612 KB
- Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf IvoireDL
12:19, 7 June 2022
; 820 KB
- Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf IvoireDL
12:18, 7 June 2022
; 273 KB
