Forced simulation: a formal approach to component based development of embedded systems

@inproceedings{Roop2001ForcedSA,
  title={Forced simulation: a formal approach to component based development of embedded systems},
  author={Parthasarathi Roop},
  year={2001}
}

Topics from this paper.

Similar Papers

Loading similar papers…