Documents dont l'auteur est "Lafrance, Stéphane"

Pour citer ou exporter
Nombre de documents: 3

Ben Ftima, M., Lafrance, S., & Léger, P. (2020). Three-dimensional modelling of shear keys in concrete gravity dams using an advanced grillage method. Water Science and Engineering, 13(3), 223-232. Disponible

Lafrance, S., & Mullins, J. (avril 2003). An information flow method to detect denial of service vulnerabilities [Communication écrite]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US. Non disponible

Lafrance, S., & Mullins, J. (janvier 2002). Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols [Communication écrite]. Computing: the Australasian Theory Symposium (CATS 2002), Monash University, Melbourne, Australia (24 pages). Publié dans Electronic Notes in Theoretical Computer Science, 61. Disponible

Liste produite: Thu Oct 15 01:16:30 2026 EDT.