Statistical model checking of dynamic software architectures

E Cavalcante, J Quilbeuf, LM Traonouez… - … Conference on Software …, 2016 - Springer
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
被引用次数：47 相关文章
[PDF] irisa.fr

[PDF][PDF] Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo… - people.irisa.fr
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez - Springer
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
[PDF] inria.fr

[PDF][PDF] Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo… - people.rennes.inria.fr
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
[PDF] academia.edu

[PDF][PDF] Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo… - academia.edu
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez… - ECSA 2016-10th …, 2016 - inria.hal.science
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez… - … 28--December 2 …, 2016 - books.google.com
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez… - ECSA 2016-10th …, 2016 - dial.uclouvain.be
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …
[PDF] core.ac.uk

[PDF][PDF] Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo… - core.ac.uk
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Statistical Model Checking of Dynamic Software Architectures

E Cavalcante, J Quilbeuf, LM Traonouez… - ECSA 2016-10th …, 2016 - hal.science
The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …