Sign in

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.

Yongwang ZhaoDavid SanánFuyuan ZhangYang Liu
Published in: IEEE Trans. Ind. Informatics (2016)
Keyphrases
  • operating system
  • formal specification
  • formal methods
  • distributed systems
  • computer systems
  • knowledge base
  • model checking
  • programming environment
  • specification languages
  • windows xp