26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services

by Professor Rüdiger Valk , University of Hamburg, Germany
Petri nets and Software Engineering -> Abstract Slides(1) Slides(2)

by Professor Dominique Méry , University Henri Poincaré Nancy 1 & LORIA, France
The event B method -> Abstract Slides(1) Slides(2) Slides(3) Slides(4) Slides(5)