Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 32 results.
Pages
-
- Speech
(2013) ICSE 2013 International Conference on Software Engineering — -
- Speech
(2013) CIAA 2013 - 18th International Conference on Implementation and Application of Automata — -
- Speech
(2013) QEST 2013 - 10th International Conference Quantitative Evaluation of Systems — -
- Speech
(2013) 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) — -
- Speech
(2013) MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics — -
- Speech
(2013) ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis — -
- Journal article
(2013) Formal Methods in System Design — Vol. 42, no. 2, p. 193-220 (2013) -
- Speech
(2013) CIAA - 18th International Conference on Implementation and Application of Automata — -
- Speech
(2013) 7th International Conference on Language and Automata Theory and Applications — -
- Speech
(2013) LICS 2013 - Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science — -
- Journal article
(2013) International Journal on Software Tools for Technology Transfer — Vol. 15, no. 3, p. 149-154 (2013) -
- Journal article
(2013) Information and Computation — Vol. 223, p. 1-17 (2013) -
- Speech
(2013) CDC 2013 - IEEE 52nd Annual Conference on Decision and Control — Firenze -
- Speech
(2013) APLAS 2013 - 11th Asian Symposium Programming Languages and Systems — -
- Speech
(2013) MEMOCODE — -
- Speech
(2013) Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) — Agios konstantinos, Samos Island, Greece -
- Speech
(2013) 11th International Symposium on Automated Technology for Verification and Analysis — -
- Speech
(2013) Computer Aided Verification — -
- Speech
(2013) CAV 2013 - 25th International Conference on Computer Aided Verification — -
- Speech
(2013) 2013 IEEE 18th Conference on Emerging Technologies \& Factory Automation (ETFA) — Cagliari, Italy -
- Speech
(2013) FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems — -
-
- BookChapter
(2013) — [ISBN : 9783642397202]