Difference between revisions of "Generic Instantiation"
From Event-B
Jump to navigationJump to searchimported>Son m (New page: The initial proposal from Southampton is as follows. Proposal for generic instantiation of machines.) |
imported>Son m |
||
| Line 1: | Line 1: | ||
The initial proposal from Southampton is as follows. | The initial proposal from Southampton is as follows. | ||
[[Image:Proposal_generic_instantiation_rodin.pdf | Proposal for generic instantiation of machines]]. | [[Image:Proposal_generic_instantiation_rodin.pdf | Proposal for generic instantiation of machines]]. | ||
| + | |||
| + | == Issues: Instantiation of Carrier Sets == | ||
Revision as of 16:06, 26 March 2010
The initial proposal from Southampton is as follows. File:Proposal generic instantiation rodin.pdf.
