A Case-Study in Timed Refinement a Mine Pump
Mahony, Brendan P. Hayes, Ian J.
A Case-Study in Timed Refinement a Mine Pump - 817-826 p.
Continuous Functions
Refinement
Real Time Specification
A Case-Study in Timed Refinement a Mine Pump - 817-826 p.
Continuous Functions
Refinement
Real Time Specification