Specification and automated verification of real-time behaviour - a case study

被引：0
|
作者：
Kristensen, C.H. [1 ]
Andersen, J.H. [1 ]
Skou, A. [1 ]
机构：
[1] Aalborg Univ, Aalborg, Denmark
来源：
Annual Reviews in Control | 1996年 / 20卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：55 / 70
相关论文
共 50 条
  • [31] Automated verification of the dependability of object-oriented real-time systems
    Ding, H
    Zheng, C
    Agha, G
    Sha, L
    NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 171 - 178
  • [32] Real-Time Verification of VMAT Delivery by An Automated Beam Monitoring System
    Farrokhkish, M.
    Islam, M.
    Heaton, R.
    Norrlinger, B.
    Jaffray, D.
    MEDICAL PHYSICS, 2017, 44 (06) : 2879 - 2879
  • [33] Specification and analysis of real-time systems using Real-Time Maude
    Ölveczky, PC
    Meseguer, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
  • [34] The TASM toolset: Specification, simulation, and formal verification of real-time systems - (Tool paper)
    Ouimet, Martin
    Lundqvist, Kristina
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 126 - +
  • [35] SPECIFICATION OF REAL-TIME BROADCAST NETWORKS
    JAIN, P
    LAM, SS
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 404 - 422
  • [36] REAL-TIME SPECIFICATION USING LUCID
    SKILLICORN, DB
    GLASGOW, JI
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (02) : 221 - 229
  • [37] A specification framework for real-time scheduling
    Subramani, K
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 195 - 207
  • [38] Real-Time Specification Patterns and Tools
    Abid, Nouha
    Dal Zilio, Silvano
    Le Botlan, Didier
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2012), 2012, 7437 : 1 - 15
  • [39] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [40] Real-time specification using Lucid
    Skillicorn, D.B., 1600, (15):
12345