Formal specification of safe manufacturing machines using the B method

@inproceedings{Evrot2006FormalSO,
  title={Formal specification of safe manufacturing machines using the B method},
  author={Dominique Evrot and Jean-François P{\'e}tin and Dominique M{\'e}ry},
  year={2006}
}

Topics from this paper.

Similar Papers

Loading similar papers…