<style face="normal" font="default" size="100%">Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Intrusion-Avoidance via System Diversity</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Developing Mode-Rich Satellite Software by Refinement in Event-B</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Rigorous Development of Complex Fault-Tolerant Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Development of Dependable Web Services out of Undependable Web Components</style>