Specification and Verification of Communication Paradigms for CBSE in Event B.

Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix

Browse the full ICECCS paper archive.