Formal analysis of a real-time kernel specification

被引：0
|
作者：
Fowler, S.
Wellings, A.
机构：
来源：
Lecture Notes in Computer Science | / 1135卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formal analysis of a real-time kernel specification
    Fowler, S
    Wellings, A
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 440 - 458
  • [2] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    [J]. COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [3] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [4] Formal development of a real-time kernel
    Fowler, S
    Wellings, A
    [J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 220 - 229
  • [5] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    [J]. FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [6] Formal specification of a real-time lift dispatching system
    Wang, YX
    Ngolah, FC
    [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 669 - 674
  • [7] TIMED ETHERNET - REAL-TIME FORMAL SPECIFICATION OF ETHERNET
    WEINBERG, HB
    ZUCK, LD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 370 - 385
  • [8] Formal specification for building robust real-time microkernels
    Rodríguez, M
    Fabre, JC
    Arlat, J
    [J]. 21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 119 - 128
  • [9] AN APPROACH TO FORMAL SPECIFICATION AND ANALYSIS FOR TIME PERFORMANCE OF THE CONCURRENT REAL-TIME SYSTEM (RTEXS)
    YAO, Y
    [J]. COMPUTERS IN INDUSTRY, 1989, 12 (04) : 347 - 354
  • [10] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    [J]. 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
12345