Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications

@inproceedings{Nmeth2008FormalVO,
  title={Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications},
  author={Erzs{\'e}bet N{\'e}meth and Tam{\'a}s Bartha},
  booktitle={FMICS},
  year={2008}
}
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
14 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

Similar Papers

Loading similar papers…