Search

Your search keyword '"Frédéric Boniol"' showing total 19 results

Search Constraints

Start Over You searched for: Author "Frédéric Boniol" Remove constraint Author: "Frédéric Boniol" Publisher hal ccsd Remove constraint Publisher: hal ccsd
19 results on '"Frédéric Boniol"'

Search Results

1. Verifying end-to-end real-time constraints on multi-periodic models

2. The landing gear case study: challenges and experiments

Catalog

Books, media, physical & digital resources

3. Model-Based Analysis

4. A synchronous language with partial delay specification for real-time systems programming

5. Application of partial-order methods for the verification of closed-loop SDL systems

6. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems

7. A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems

8. Implantation multitâche de programmes synchrones multipériodiques

9. Using context descriptions and property definition patterns for software formal verification

10. A Multi-Periodic Synchronous Data-Flow Language

11. Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués

12. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués

13. Modeling an Aircraft Landing System in Event-B

14. Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée

15. A comprehensive method for real-time requirements verification : application to Integrated Modular Avnionics

16. Development framework for multi-periodic application on multi-core platform. The SchedMCore toolbox

17. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints

18. Un langage synchrone pour les systèmes embarqués critiques soumis à des contraintes temps réel multiples

19. Une méthodologie de modélisation multi-modèles distribués par métier pour les systèmes embarqués