Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 97 results.
Pages
-
- Journal article
(2011) Fundamenta Informaticae — Vol. 108, no. 1-2, p. 119-149 (2011) -
- Journal article
(2012) Science of Computer Programming — no. 77, p. 1212-1234 (2012) -
- Speech
(2012) 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) — -
- Speech
(2011) ICSE 2011 : 33rd International Conference on Software Engineering — Waikiki, Honolulu, HI, USA -
- Speech
(2010) 10th International Conference on Application of Concurrency to System Design (ACSD) — -
- Speech
(2012) 6th International Workshop on Variability Modelling of Software Intensive Systems — -
- 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
(2012) ICSE 2012 : 34th International Conference on Software Engineering — Zurich -
- Speech
(2012) Computer Aided Verification — -
-
- Speech
(2012) 16th Software Product Line Conference — -
-
- Speech
(2010) Runtime Verification - First International Conference, RV 2010 — -
- Speech
(2012) 5th International Sympoisum on Leveraging Applications of Formal Methods — -
- Speech
(2008) Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC1, Foundations of Computer Science — -
- Journal article
(2012) International Journal on Software Tools for Technology Transfer — p. 589-612 (2012)