B for Modeling Secure Information Systems - The B4MSecure Platform (démo) - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

B for Modeling Secure Information Systems - The B4MSecure Platform (démo)

Akram Idani
  • Function : Author
  • PersonId : 836953
Yves Ledru
Not file

Dates and versions

hal-01420686 , version 1 (20-12-2016)

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⟩
69 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More