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 条
  • [1] A survey of timed automata for the development of real-time systems
    Bin Waez, Md Tawhid
    Dingel, Juergen
    Rudie, Karen
    [J]. COMPUTER SCIENCE REVIEW, 2013, 9 : 1 - 26
  • [2] A timed automata semantics for real-time UML specifications
    Toetenel, H
    Roubtsova, E
    van Katwijk, J
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 88 - 95
  • [3] Automatic composition of timed petrinet specifications for a real-time architecture
    Richling, J
    Werner, M
    Popova-Zeugmann, L
    [J]. 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 4065 - 4070
  • [4] Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications
    Fellah, Abdelaziz
    [J]. PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND SOFTWARE ENGINEERING (SCSE'15), 2015, 62 : 47 - 54
  • [5] Optimization of real-time systems timing specifications
    Andrei, Stefan
    Cheng, Albert Mo Kim
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 68 - +
  • [6] Executable Specifications for Real-Time Distributed Systems
    Ray, Arnab
    Cleaveland, Rance
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (04) : 3 - 17
  • [7] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [8] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [9] 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
  • [10] On Self-Timed Circuits in Real-Time Systems
    Ferringer, Markus
    [J]. INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2011, 2011
12345