Difference between revisions of "Prover Diagrams"

From Event-B
Jump to navigationJump to search
imported>Andy
(New page: This Page is Under Construction !!! <u>Entity Relationship Diagrams for the Prover<\u> These diagrams describe which classes have access to information in other classes)
 
imported>Andy
Line 1: Line 1:
 
This Page is Under Construction !!!
 
This Page is Under Construction !!!
  
<u>Entity Relationship Diagrams for the Prover<\u>
+
Entity Relationship Diagrams for the Prover
  
 
These diagrams describe which classes have access to information in other classes
 
These diagrams describe which classes have access to information in other classes

Revision as of 09:13, 5 May 2009

This Page is Under Construction !!!

Entity Relationship Diagrams for the Prover

These diagrams describe which classes have access to information in other classes