Search

Your search keyword '"Ledru, Yves"' showing total 167 results

Search Constraints

Start Over You searched for: Author "Ledru, Yves" Remove constraint Author: "Ledru, Yves"
167 results on '"Ledru, Yves"'

Search Results

1. An Iterative Formal Model-Driven Approach to Railway Systems Validation

2. A Process-Centric Approach to Insider Threats Identification in Information Systems

4. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs : − Application to a Railway System −

5. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules

6. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

7. An Environment for the ParTraP Trace Property Language (Tool Demonstration)

8. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

9. Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

10. B for Modeling Secure Information Systems : The B4MSecure Platform

14. B Formal Validation of ERTMS/ETCS Railway Operating Rules

15. A Rigorous Reasoning about Model Transformations Using the B Method

16. Automated Reviewing of Healthcare Security Policies

17. Model-Based Filtering of Combinatorial Test Suites

19. Validation of Security-Design Models Using Z

22. Test of the ICARE Platform Fusion Mechanism

23. Derivation of UML Class Diagrams as Static Views of Formal B Developments

24. Filtering TOBIAS Combinatorial Test Suites

30. Two approaches towards the formalisation of VDM

36. Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool

Catalog

Books, media, physical & digital resources