%0 Journal Article %1 journals/tii/ZhaoSZL16 %A Zhao, Yongwang %A Sanán, David %A Zhang, Fuyuan %A Liu, Yang %D 2016 %J IEEE Trans. Ind. Informatics %K dblp %N 4 %P 1321-1331 %T Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. %U http://dblp.uni-trier.de/db/journals/tii/tii12.html#ZhaoSZL16 %V 12

@article{journals/tii/ZhaoSZL16, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zhao, Yongwang and Sanán, David and Zhang, Fuyuan and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2d2db318eb209b4bfc91298bfcd1745da/dblp}, ee = {https://doi.org/10.1109/TII.2016.2569414}, interhash = {ddc7b262e77b5ebb9739b9fc13128d3e}, intrahash = {d2db318eb209b4bfc91298bfcd1745da}, journal = {IEEE Trans. Ind. Informatics}, keywords = {dblp}, number = 4, pages = {1321-1331}, timestamp = {2024-04-08T15:02:17.000+0200}, title = {Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii12.html#ZhaoSZL16}, volume = 12, year = 2016 }