Search

Pierre-Alain Bourdil

Time-accurate Middleware for the Virtualization of Communication Protocols
Building Confidence on Formal Verification Models
Symmetry reduction for time Petri net state classes
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach
Symmetry reduced state classes for time petri nets

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