Click on a search word OR use the drop-down choices to search for a paper.

Show all


Xu, Hao

Model Based System Consistency Checking Using Event-B Masters Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: event-B, formal specification, insulin infusion pump, safety constraints, safety critical systems, software engineering, timing constraints