Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 34 results.
Pages
-
- Journal article
(2017) Computers and Security — Vol. 70, p. 500-515 (2017) -
- Journal article
(2018) Computers and Security — -
- Speech
(2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing — -
- Journal article
(2016) ERCIM News — no. 106 (2016) -
- Journal article
(2014) Journal of Logical and Algebraic Methods in Programming — -
- Speech
(2014) 12th International Conference on Software Engineering and Formal Methods — -
-
- Journal article
(2020) Computers & Security — Vol. 93, no.?, p. 101775 (2020) -
-
- Journal article
(2020) International Journal on Software Tools for Technology Transfer — Vol. 22, no.5, p. 563-564 (2020) -
- Speech
(2014) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science — -
- Speech
(2017) ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE — -
-
-
- Journal article
(2014) Theoretical Computer Science — p. 68-87 (2014) -
- Journal article
(2016) Information Sciences — -
- Journal article
(2019) Computers & Security — Vol. 85, no.85, p. 436-451 (2019) -
- Speech
(2018) 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) — -
- Speech
(2015) The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15) — -
- Speech
(2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems — -
- Speech
(2015) 22nd International SPIN Workshop on Model Checking of Software — -
- Speech
(2016) 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation —