Conference Papers
Year : 2015
Yves Ledru : Connect in order to contact the contributor
https://hal.science/hal-01420686
Submitted on : Tuesday, December 20, 2016-8:40:50 PM
Last modification on : Friday, March 24, 2023-2:53:03 PM
Dates and versions
Identifiers
- HAL Id : hal-01420686 , version 1
Cite
Akram Idani, Yves Ledru. B for Modeling Secure Information Systems - The B4MSecure Platform (démo). Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods (ICFEM 2015), 2015, Paris, France. pp.312-328. ⟨hal-01420686⟩
Collections
69
View
0
Download