Login / Signup

Safety Ontology Modeling and Verification on MIS of Ship-Building and Repairing Enterprise.

Yumei WuZhen LiLanJie ZhaoZhengwei YuHong Miao
Published in: KSII Trans. Internet Inf. Syst. (2021)
Keyphrases
  • information systems
  • domain specific
  • knowledge management
  • model checking
  • case study
  • natural language
  • content management
  • colored petri nets