Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 36 results.
Pages
-
- Journal article
(2017) Soft Computing — Vol. 22, no.4, p. 1139-1158 (2017) -
- Journal article
(2017) Acta Cybernetica — Vol. 23, no.1, p. 229-268 (2017) -
- Journal article
(2017) Acta Cybernetica — Vol. 23, no.1, p. 203-228 (2017) -
- Journal article
(2017) Journal of Software: Evolution and Process — Vol. 30, no.3, p. e1890 (2017) -
- Journal article
(2017) SOFSEM 2017: Theory and Practice of Computer Science — , p. pp 49-61 (2017) -
- Journal article
(2017) Computers and Security — Vol. 70, p. 500-515 (2017) -
- Speech
(2017) AFRICACRYPT 2017 - International Conference on Cryptology in Africa — -
- Speech
(2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics — -
- Speech
(2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems — -
- Speech
(2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore -
-
- Speech
(2017) 11th IFIP International Conference on Information Security Theory and Practice (WISTP) — -
-
-
- Speech
(2017) GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security — -
- Journal article
(2017) Software & Systems Modeling — -
- Speech
(2017) SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science — -
- Speech
(2017) 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS) — Palma de Mallorca, Spain -
- Speech
(2017) 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) — Buenos Aires, Argentina -
- Speech
(2017) International SPIN Symposium on Model Checking of Software — -
- Speech
(2017) ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis — -