MIME search
Jump to navigation
Jump to search
This page enables the filtering of files for their MIME type.
Input: contenttype/subtype or contenttype/*, e.g. image/jpeg.
Showing below up to 23 results in range #1 to #23.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- (download) Advanced semantics for VOs.pdf . . 0 × 0 . . 848 KB . . IvoireDL . . 11:18, 3 June 2022
- (download) Alexander Egyed - DesignSpace for collaborative engineering.pdf . . 0 × 0 . . 3.81 MB . . IvoireDL . . 13:19, 9 June 2022
- (download) An Exercise in Multi modeling compressed.pdf . . 0 × 0 . . 669 KB . . IvoireDL . . 07:25, 27 June 2024
- (download) Colin Snook - Behavior Driven Formal Modelling.pdf . . 0 × 0 . . 15.32 MB . . IvoireDL . . 13:11, 7 June 2022
- (download) Colin Snook - Behavior Driven Formal Modelling lowres.pdf . . 0 × 0 . . 1.73 MB . . IvoireDL . . 12:32, 7 June 2022
- (download) D. Geleßus - Classification and Semantics of Validation Tasks.pdf . . 0 × 0 . . 1.47 MB . . IvoireDL . . 07:17, 31 May 2023
- (download) Dominique Méry - Refinement-based Construction of Correct IoT Protocols.pdf . . 0 × 0 . . 612 KB . . IvoireDL . . 12:23, 7 June 2022
- (download) Egon Börger - The ASM Method Integrates Validation and Verification at Different Abstraction Levels.pdf . . 0 × 0 . . 119 KB . . IvoireDL . . 20:42, 7 June 2022
- (download) Elvinia Riccobene - Exploiting the advantage of formal executable models@RUNTIME.pdf . . 0 × 0 . . 2.39 MB . . IvoireDL . . 20:43, 7 June 2022
- (download) Fabian Vu - Formalization of VOs.pdf . . 0 × 0 . . 1.79 MB . . IvoireDL . . 09:07, 7 June 2022
- (download) Fabian Vu - Formalizing and Validating the VO Approach.pdf . . 0 × 0 . . 5.83 MB . . IvoireDL . . 07:18, 31 May 2023
- (download) IVOIRE D 1 1.pdf . . 0 × 0 . . 658 KB . . IvoireDL . . 09:07, 18 February 2022
- (download) IVOIRE Deliverable D 1 1.pdf . . 0 × 0 . . 636 KB . . IvoireDL . . 10:27, 29 November 2021
- (download) IVOIRE Results compressed.pdf . . 0 × 0 . . 1,001 KB . . IvoireDL . . 15:38, 26 June 2024
- (download) Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf . . 0 × 0 . . 16.97 MB . . IvoireDL . . 07:21, 31 May 2023
- (download) Jean-Pierre Jacquot - Validation An Event-B perspective with JeB.pdf . . 0 × 0 . . 273 KB . . IvoireDL . . 12:18, 7 June 2022
- (download) RefinementHierarchy.pdf . . 0 × 0 . . 41 KB . . IvoireDL . . 13:24, 29 November 2021
- (download) Richard Banach - Graded Refinement, Retrenchment and Simulation, for Challenging Requirements.pdf . . 0 × 0 . . 820 KB . . IvoireDL . . 12:19, 7 June 2022
- (download) Sebastian Stock - Validation-Driven Development.pdf . . 0 × 0 . . 869 KB . . IvoireDL . . 07:21, 31 May 2023
- (download) Thierry Lecomte - Methodology for formal proof of spec.pdf . . 0 × 0 . . 1.48 MB . . IvoireDL . . 08:43, 5 June 2022
- (download) VO Manager.pdf . . 0 × 0 . . 1.38 MB . . IvoireDL . . 15:38, 26 June 2024
- (download) Validation Obligations In Practice compressed.pdf . . 0 × 0 . . 880 KB . . IvoireDL . . 15:38, 26 June 2024
- (download) What Should I Verify compressed.pdf . . 0 × 0 . . 1.51 MB . . IvoireDL . . 15:39, 26 June 2024
