Name
Year | Venue | Field |
|---|---|---|
2014 | FMS @ Petri Nets | Information system,Functional requirement,Model checking,Computer security,Computer science,Role-based access control,Insider attack,B-Method,Symbolic execution,Access control |
DocType | Citations | PageRank |
Conference | 2 | 0.41 |
References | Authors | |
8 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Amira Radhouani | 1 | 6 | 1.18 |
| Akram Idani | 2 | 110 | 15.56 |
| Yves Ledru | 3 | 32 | 6.53 |
| Narjes Ben Rajeb | 4 | 29 | 3.77 |