Search

Your search keyword '"Prevosto, Virgile"' showing total 10 results

Search Constraints

Start Over You searched for: "Prevosto, Virgile" Remove constraint "Prevosto, Virgile" Publisher springer nature switzerland Remove constraint Publisher: springer nature switzerland
10 results on '"Prevosto, Virgile"'

Search Results

1. Testing a Formally Verified Compiler

2. Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars

4. Testing Languages with a Languages-as-Databases Approach

6. Symbolic Observation Graph-Based Generation of Test Paths

7. Low-Level Reachability Analysis Based on Formal Logic

10. Proving Properties of Operation Contracts with Test Scenarios

Catalog

Books, media, physical & digital resources