Search

Éric Jenn

Building Confidence on Formal Verification Models
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach

Published with Wowchemy — the free, open source website builder that empowers creators.