Event-B Decomposition for Parallel Programs

Download
Text (PDF, 330.8Kb)
Thumbnail
Open access
Author
Hoang, Thai Son
Abrial, Jean-Raymond
Date
2011
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-006804588
Publication status
published
Publisher
Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Event
Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ 2010), Orford, QC, Canada, February 22-25, 2010
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics