ABZ 2016 (Linz, Austria)

Case Study

Date
Jun 5, 2016 — Jun 8, 2016
Event
5th International Conference on ASM, Alloy, B, TLA, VDM, and Z
Location
Linz, Austria
Keynotes:
    Richard Banach
    How to Brew Your Own Hybrid/Cyberphysical Formalism
    Egon Börger
    Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
    Thierry Lecomte
    Atelier B Has Turned Twenty
    Klaus Reichl
    Modeling Safety Critical Railway Applications - An Industrial Experience
ABZ'16

Related