Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 26 results.
Pages
-
-
-
- Speech
(2019) Formal Methods for Industrially Critical Systems — -
- Journal article
(2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 667-677 (2019) -
- Journal article
(2019) Logical Methods in Computer Science — Vol. 15, no.2 (2019) -
- Journal article
(2019) Computers & Security — Vol. 85, no.85, p. 436-451 (2019) -
- Journal article
(2019) Formal Aspects of Computing — Vol. 31, no.2, p. 165-206 (2018) -
- Journal article
(2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 607-612 (2019) -
- Journal article
(2019) IEEE Xplore digital library (IEEE/IET Electronic Library) — (2019) -
-
- Journal article
(2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 635-649 (2019) -
- Journal article
(2019) Concurrency and Computation: Practice and Experience — Vol. 31, no.23, p. 1-13 (2019) -
- Speech
(2019) Formalize — Waterloo -
- Speech
(2019) 2019 17th International Conference on Privacy, Security and Trust (PST) — Fredericton, NB, Canada -
-
- Speech
(2019) Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium — Hammamet Tunisia -
- Speech
(2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto -
- Speech
(2019) Integrated Formal Methods - 15th International Conference, {IFM} 2019 — Bergen, Norway -
- Speech
(2019) 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications — Rotorua, New Zealand -
- BookChapter
(2019) Lecture Notes in Computer Science : Computing and Software Science — [ISBN : 9783319919072] -
- Speech
(2019) 2019 IEEE Intelligent Vehicles Symposium (IV) — Paris, France -
- Speech
(2019) The ACM Special Interest Group on Data Communication - SIGCOMM '19 — Beijing, China