Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 23 results.
-
-
- Journal article
(2018) Journal of Systems and Software — Vol. 141, no. 2, p. 1-15 (2018) -
- Speech
(2018) 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) — -
- Speech
(2018) ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis — -
- Journal article
(2018) Computers and Security — -
- Journal article
(2018) Concurrency and Computation: Practice and Experience — -
- Journal article
(2018) Journal of Reliable Intelligent Environments — Vol. 4, no. 2, p. 107-120 (2018) -
- Journal article
(2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018) -
-
- Speech
(2018) PPNIV 2018 - 10th Workshop on Planning, Perception and Navigation for Intelligent Vehicles — -
-
-
- Speech
(2018) 13th Annual Conference on System of Systems Engineering, SoSE 2018 — Paris -
- Journal article
(2018) Journal in honour of Bernhard Steffen's 60th — -
- Speech
(2018) ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation — -
- Speech
(2018) SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing — -
- Journal article
(2018) Mathematical Structures in Computer Science — Vol. 28, no. 06, p. 800-855 (2018) -
-
- Speech
(2018) 13th International Conference on Availability, Reliability and Security (ARES 2018) — Hamburg, Germany