Course code, if applicable: COM00012H
University hosting the course: University of York
Contact person: Jeremy Jacob, jeremy.jacob@york.ac.uk
Concepts taught: Model-oriented (Z) & process-oriented (CSP) specification & refinement
Tools used: CZT; FDR4
Webpage: (Behind a firewall)
Year/level: 3
Course code, if applicable: COM00012H University hosting the course: University of York Contact person: Jeremy Jacob, jeremy.jacob@york.ac.uk Concepts taught: Model-oriented (Z) & process-oriented (CSP) specification & refinement Tools used: CZT; FDR4 Webpage: (Behind a firewall) Year/level: 3