<style face="normal" font="default" size="100%">Formal Goal-Oriented Development of Resilient MAS in Event-B</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Formal Goal-Oriented Development of Resilient MAS in Event-B</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Derivation and Formal Verification of a Mode Logic for Layered Control Systems</style>

Drupal-Biblio

5

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