Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
Article de périodique (Journal article)
Rousseaux, Xavier
Mauleon, Ana
2001
Legay, Axel
Batista, Thais
Drira, Khalil
You are here
Home
»
Search
»
Search results
»
*:*
»
^Article de périodique (Journal article)
»
^Rousseaux, Xavier
»
^Mauleon, Ana
»
^2001
»
Legay, Axel
»
Batista, Thais
»
^Drira, Khalil
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
2
results.
Speech
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Quilbeuf, Jean
Cavalcante, Everton
Traonouez, Louis-Marie
Oquendo, Flavio
Batista, Thais
Legay, Axel
[UCL]
(2016)
ISoLA —
Speech
Statistical Model Checking of Dynamic Software Architectures
Cavalcante, Everton
Quilbeuf, Jean
Traonouez, Louis-Marie
Oquendo, Flavio
Batista, Thais
Legay, Axel
[UCL]
(2016)
ECSA 2016 - 10th European Conference on Software Architecture —