Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 22 results.
-
-
- Journal article
(2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018) -
- Journal article
(2014) International Journal on Software Tools for Technology Transfer — p. 171-185 (2014) -
- Speech
(2018) ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation — -
- Journal article
(2014) Software & Systems Modeling — p. 427-451 (2014) -
- Speech
(2014) MEMOCODE — Lausanne, Switzerland -
- Journal article
(2016) ACM Transactions on Embedded Computing Systems (TECS) — p. 1-26 (2016) -
- Speech
(2018) Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, — -
- Journal article
(2018) International Journal of Critical Computer-Based Systems — Vol. 8, no.3/4, p. 340 (2018) -
- Speech
(2010) Formal Methods in Computer Aided Design, FMCAD 2010 — -
- Journal article
(2012) International Journal on Software Tools for Technology Transfer — Vol. 14, no. 1, p. 53-72 (2012) -
- Speech
(2016) he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) — -
- Speech
(2018) ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis — -
-
- Speech
(2013) Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) — Agios konstantinos, Samos Island, Greece -
- Speech
(2010) Runtime Verification - First International Conference, RV 2010 — -
- Speech
(2012) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012 — -
- Speech
(2010) Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) — -
- Journal article
(2013) International Journal on Software Tools for Technology Transfer — Vol. 15, no. 3, p. 149-154 (2013) -
- Speech
(2013) 3th International Conference on Application of Concurrency to System Design (ACSD) — -
- Speech
(2013) MEMOCODE —