Generic Instantiation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son m New page: The initial proposal from Southampton is as follows. Proposal for generic instantiation of machines. |
imported>Son mNo edit summary |
||
| 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.
