An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

@inproceedings{Kumar2005AnOA,
  title={An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems},
  author={Rajesh Kumar and Bruce H. Krogh and Peter H. Feiler},
  booktitle={HSCC},
  year={2005}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…