Conference Papers
Year : 2015
Yves Ledru : Connect in order to contact the contributor
https://hal.science/hal-01420680
Submitted on : Tuesday, December 20, 2016-8:27:42 PM
Last modification on : Friday, March 24, 2023-2:53:03 PM
Dates and versions
Identifiers
- HAL Id : hal-01420680 , version 1
Cite
Yves Ledru, Akram Idani, Jean-Luc Richier. Validation of a security policy by the test of its formal B specification - a case study. Third FME Workshop on Formal Methods in Software Engineering (Formalise’15), 2015, Firenze, Italy. pp.6-12. ⟨hal-01420680⟩
Collections
40
View
0
Download