9 results on '"Ledru, Yves"'
Search Results
2. Combining UML and B for the specification and validation of RBAC policies in business process activities
3. Validation of a Security Policy by the Test of Its Formal B Specification -- A Case Study
4. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool
5. Evaluating RBAC Supported Techniques and their Validation and Verification
6. Using String Distances for Test Case Prioritisation
7. Generation of test programs for the assertion-based verification of TLM models
8. A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
9. Test suite selection based on traceability annotations.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.