FIT3013 LM9: More Refinement - The Bridge Problem

Last modified: 20100325:152554/first version for 2010

FIT3013 AJH-2010-22

LM9: More Refinement - The Bridge Problem

The Bridge Problem: Working through Refinements

presentation	there are no slides currently available
notes	the slides reduced to note form, even more suitable for printing	19 pages

A complete example of working from a simple abstraction through a series of refinements to a full specification

previous: LM8: Semantics of Event-B next: LM10: Refinement

Document History

20100325:152554

9.0.0

ajh

first version for 2010

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

11 accesses since
10 Feb 2012

Generated at 20120522:2120 from an XML file modified on 20100427:1620
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

178 accesses since 27 Mar 2010, HTML cache rendered at 20120522:2120