Specification Theories for Probabilistic and Real-Time Systems

被引：0

作者：

Fahrenberg, Uli ^{[1
]}

Legay, Axel ^{[1
]}

Traonouez, Louis-Marie ^{[1
]}

机构：

[1] Inria IRISA, Rennes, France

来源：

FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING | 2014年 / 8415卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.

引用

页码：98 / 117

页数：20

共 50 条

[1] Verifying automata specification of distributed probabilistic real-time systems
Luo Tiegeng
Chen Huowang
Wang Bingshan
Wang Ji
Gong Zhenghu
Qi Zhichang
[J]. Journal of Computer Science and Technology, 1998, 13 (6) : 588 - 596
[2] Verifying Automata Specification ofDistributed Probabilistic Real-Time Systems
罗铁庚
陈火旺
王兵山
王戟
龚正虎
齐治昌
[J]. Journal of Computer Science & Technology, 1998, (06) : 588 - 596
[3] SPECIFICATION OF REAL-TIME PROBABILISTIC BEHAVIOR
FANG, M
HOSTUART, CJ
ZEDAN, HSM
[J]. PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 143 - 157
[4] SPECIFICATION OF REAL-TIME SYSTEMS
PATNAIK, LM
MALL, R
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
[5] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
GABRIELIAN, A
FRANKLIN, MK
[J]. COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
[6] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
LUDEWIG, J
MATHEIS, H
[J]. COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
[7] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[8] A Probabilistic Calculus for Probabilistic Real-Time Systems
Santinelli, Luca
Cucu-Grosjean, Liliana
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
[9] Specification and analysis of real-time systems using Real-Time Maude
Ölveczky, PC
Meseguer, J
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
[10] Probabilistic Real-Time Rewrite Theories and Their Expressive Power
Bentea, Lucian
Olveczky, Peter Csaba
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 60 - 79

← 1 2 3 4 5 →