Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Frédéric Dadeau
Latest
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
Cite
×