Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ABZ2018-_ERTMS_Case_Study.pdf | 07-Feb-2018 14:39 | 952K | ||
ABZ2018-_ERTMS_Case_Study_old_full_version.pdf | 01-Feb-2018 20:08 | 1.1M | ||
ABZ2018CaseStudy_eventb_proofs_scope.zip | 25-Jan-2018 13:20 | 319K | ||
ABZ2018CaseStudy_restricted_sysmlkaos_proofs_scope.zip | 28-Jan-2018 22:37 | 563K | ||
readme.txt | 08-Feb-2018 13:36 | 1.2K | ||