Researches in distributed operating system formal system model

被引：0
|
作者：
机构：
来源：
| 1600年 / 16期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Model of distributed operating system automatic generating system
    [J]. High Technol Lett, 4 (25):
  • [2] A FORMAL MODEL OF CRASH RECOVERY IN A DISTRIBUTED SYSTEM
    SKEEN, D
    STONEBRAKER, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) : 219 - 228
  • [3] Formal Verification of a Hybrid IoT Operating System Model
    Guan, Yuqian
    Guo, Jian
    Li, Qin
    [J]. IEEE ACCESS, 2021, 9 (09): : 59171 - 59183
  • [4] A formal description of SECIMOS operating system
    Zhou, ZY
    Liang, B
    Jiang, L
    Shi, WC
    He, YP
    [J]. COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 3685 : 286 - 297
  • [5] A formal specification in B of an operating system
    School of Software, Henan University, Kaifeng
    Henan
    475004, China
    不详
    Henan
    475004, China
    不详
    Henan
    475004, China
    [J]. Open. Cybern. Syst. J., 1 (1125-1129):
  • [6] Formal Verification of Distributed System Using an Executable C Model
    Cifuentes, F.
    Bustos, J.
    Simmonds, J.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (06) : 2874 - 2878
  • [7] The Amoeba distributed operating system
    Tanenbaum, AS
    [J]. 1996 CERN SCHOOL OF COMPUTING, 1996, 96 (08): : 109 - 115
  • [8] The THUDSOS Distributed Operating System
    廖先湜
    刘旭峰
    金兰
    [J]. Journal of Computer Science & Technology, 1991, (03) : 301 - 305
  • [9] DISTRIBUTED OPERATING SYSTEM FOR TRANSPUTERS
    GRIMSDALE, CHR
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1989, 13 (02) : 79 - 87
  • [10] THE CLOUDS DISTRIBUTED OPERATING SYSTEM
    DASGUPTA, P
    LEBLANC, RJ
    [J]. COMPUTER, 1991, 24 (11) : 34 - 44
12345