Parallel real-time systems: Formal specification

被引：0
|
作者：
Choudhary, AN
Gehlot, V
Narahari, B
机构：
来源：
FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/HIPC.1997.634491
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：186 / 191
页数：6
相关论文
共 50 条
  • [1] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [2] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    [J]. COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [3] Aspect-Oriented Formal Specification for Real-Time Systems
    Zhang, Lichen
    [J]. ADVANCES IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 28 : 13 - 32
  • [4] AUTOMATED SUPPORT FOR THE FORMAL SPECIFICATION AND DESIGN OF REAL-TIME SYSTEMS
    HOSTUART, C
    ZEDAN, H
    FANG, M
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 79 - 86
  • [5] The use of aggregate approach for formal specification and simulation of real-time systems
    Pranevicius, H
    Makackas, D
    [J]. DATABASES AND INFORMATION SYSTEMS, 2001, : 189 - 198
  • [6] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
    OSTROFF, JS
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
  • [7] 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
  • [8] Formal analysis of a real-time kernel specification
    Fowler, S.
    Wellings, A.
    [J]. Lecture Notes in Computer Science, 1135
  • [9] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [10] Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
    Barbosa, Raul
    Karlsson, Johan
    [J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 192 - 199
12345