Loading...
Please wait, while we are loading the content...
Similar Documents
Structural refinement in Object-Z / CSP (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Derrick, John Smith, Graeme |
| Description | 2ND INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS (IFM’00), VOLUME 1945 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Abstract | State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Structural Refinement Object-z Csp Object-z Component State-based Refinement Relation Integrated Object-z Csp Specification |
| Content Type | Text |
| Resource Type | Conference Proceedings |