TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS

被引：0
|
作者：
JARAY, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 331卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：67 / 83
页数：17
相关论文
共 50 条
  • [11] Real-time property preservation in approximations of timed systems
    Huang, JF
    Voeten, J
    Geilen, M
    [J]. FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 163 - 171
  • [12] VERIFYING AUTOMATA SPECIFICATIONS OF PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 28 - 44
  • [13] VALIDATING REAL-TIME SYSTEMS BY EXECUTING LOGIC SPECIFICATIONS
    MORZENTI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 502 - 525
  • [14] The Specifications of the Weakly Hard Real-Time Systems: A Review
    Ismail, Habibah
    Jawawi, Dayang N. A.
    [J]. SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 2, 2011, 180 : 274 - 288
  • [15] ANIMATION PROTOTYPING OF FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    HUGHES, TS
    COOLING, JE
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 381 - 388
  • [16] Performance specifications and metrics for adaptive real-time systems
    Lu, CY
    Stankovic, JA
    Abdelzaher, TF
    Tao, G
    Son, SH
    Marley, M
    [J]. 21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 13 - 23
  • [17] Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
    Akhlaki, K. Benghazi
    Tunon, M. I. Capel
    Terriza, J. A. Holgado
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 290 - +
  • [18] DEALING WITH DIFFERENT TIME GRANULARITIES IN FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    CORSETTI, E
    MONTANARI, A
    RATTO, E
    [J]. REAL-TIME SYSTEMS, 1991, 3 (02) : 191 - 215
  • [19] REAL-TIME PROGRAMMING SPECIFICATIONS
    HEAD, RV
    [J]. COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 376 - 383
  • [20] Refactoring Real-time Specifications
    Smith, Graeme
    McComb, Tim
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (0C) : 359 - 380
12345