Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 36 results.
Pages
-
- Speech
(2018) the 33rd Annual ACM/IEEE Symposium — Oxford, United Kingdom -
- Speech
(2018) Space 2018 — Indian Institute of Technology, Kanpur -
- Speech
(2018) the 13th International Conference — Gothenburg, Sweden -
- Speech
(2018) FM 2018 : 22nd International Symposium on Formal Methods — Oxford, United Kingdom -
- Journal article
(2018) Cyber-Physical Systems Security — , p. pp 269-284 (2018) -
- Journal article
(2018) International Journal of Critical Computer-Based Systems — Vol. 8, no.3/4, p. 340 (2018) -
- Journal article
(2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling — , p. pp 486-501 (2018) -
- Journal article
(2018) Statistical Model Checking of Incomplete Stochastic Systems — (2018) -
-
- Journal article
(2018) Statistical Model Checking the 2018 Edition! — , p. pp 261-270 (2018) -
- Journal article
(2018) Journal of Systems and Software — Vol. 141, no. 2, p. 1-15 (2018) -
- Speech
(2018) Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, — -
- Journal article
(2018) Verification and Evaluation of Computer and Communication Systems — (2018) -
- Journal article
(2018) Statistical Model Checking of LLVM Code — , p. pp 542-549 (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 —