Amanote Research
Register
Sign In
Guidelines for Formal Domain Modeling in Event-B
doi 10.1109/hase.2011.47
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2011
Authors
Atif Mashkoor
Jean-Pierre Jacquot
Publisher
IEEE
