Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formal verification of secure group communication protocols modelled in UML | 3 | 0.40 | 2010 |
| Synthèse d'observateurs à partir d'exigences temporelles. | 0 | 0.34 | 2008 |
| UML-based modeling and formal verification of security protocols | 0 | 0.34 | 2005 |