Refinement, Decomposition, and Instantiation of Discrete Models

Application to Event-B
Thumbnail
Metadata only
Author
Abrial, Jean-Raymond
Hallerstede, Stefan
Date
2006-05
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Fundamenta Informaticae
Volume
77(1-2)
Pages / Article No.
1 - 28
Publisher
IOS Press
Event
12th International Workshops on Abstract State Machines 2005 (ASM’05), Paris, France, March 8-11, 2005
Subject
Refinement; Decomposition; Generic Instantiation; Event-B
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Published online 29 June 2007.
More
Show all metadata
ETH Bibliography
yes
Altmetrics