diff --git a/index.html b/index.html index 1ec34fa..0ba0158 100644 --- a/index.html +++ b/index.html @@ -257,7 +257,7 @@

- Quentin Rouland , Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019. + Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.

Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture. International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.