Modeling and verification of software safety requirement based on ontology

@inproceedings{Bin2012ModelingAV,
  title={Modeling and verification of software safety requirement based on ontology},
  author={Li Zhen Liu Bin and Miao Hong and Yin Yongfeng},
  year={2012}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

Generic safety requirements description templates for the embedded software

  • 2017 IEEE 9th International Conference on Communication Software and Networks (ICCSN)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

Android Malicious Application Detection Based on Ontology Technology Integrated with Permissions and System Calls

  • 2016 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI)
  • 2016
VIEW 1 EXCERPT
CITES BACKGROUND

Similar Papers

Loading similar papers…