Research Unit in Networking | ||
---|---|---|
Résumé |
G. Leduc1
, O. Bonaventure1, E. Koerner1, L. Léonard1, C. Pecheur1 and D. Zanetti1
1 Research unit in Networking, EECS department, University of Liège, Belgium (1996) Mots-clésformal verification, LOTOS, model-checking, security protocol |
|
Editor: - G. Leduc - Webmaster: - C. Soldani - |
Still running IPv4 at: 52.14.240.178... |
RUN |
Montefiore |
ULg © 2000-2024. |