Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.

Inna Vistbakka, Elena Troubitsyna

Browse the full PAAMS paper archive.