A REAL-TIME INTERVAL LOGIC FOR REASONING - ABOUT EXECUTIONS OF REAL-TIME PROGRAMS

被引：8

|

作者：

RAZOUK, RR

GORLICK, MM

机构：

来源：

PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ) | 1989年 / 14卷

关键词：

D O I：

10.1145/75309.75311

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：10 / 19

页数：10

相关论文

共 50 条

[1] ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
GOSWAMI, A
BELL, M
JOSEPH, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 1 - 20
[2] REASONING ABOUT REAL-TIME SYSTEMS
PETERS, JF
[J]. AUSTRALIAN COMPUTER JOURNAL, 1993, 25 (04): : 135 - 147
[3] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS
MELLIARSMITH, PM
[J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 224 - 242
[4] An interval logic for real-time system specification
Mattolini, R
Nesi, P
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
[5] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS
MELLIARSMITH, PM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 224 - 242
[6] REASONING IN REAL-TIME
SHAW, R
[J]. CONTROL AND INSTRUMENTATION, 1988, 20 (09): : 79 - &
[7] REASONING ASSERTIONALLY ABOUT REAL-TIME SYSTEMS
SHANKAR, AU
[J]. PROCEEDINGS OF THE IEEE, 1994, 82 (01) : 172 - 183
[8] Reasoning about real-time systems with temporal interval logic constraints on multi-state automata
[J]. NASA Conference Publication, 1991, (3103 pt 2):
[9] TIME AND REAL-TIME IN PROGRAMS
JOSEPH, M
[J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 312 - 324
[10] TIME AND REAL-TIME IN PROGRAMS
JOSEPH, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 312 - 324

← 1 2 3 4 5 →