activity
20122022
most citedDevelopment of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

10 citations · 12 across the 3 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Régine Laleau, Dominique Méry, Shin Nakajima +1

This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…