APPLICATION OF TEMPORAL LOGIC TO PROTOCOL SPECIFICATION

被引：0

|

作者：

CAVALLI, AR

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：311 / 311

页数：1

相关论文

共 50 条

[1] Application of temporal logic to program specification
Valiev, MK
PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (02) : 47 - 51
[2] Application of Temporal Logic to Program Specification
Valiev, M. K.
Programming and Computer Software (English Translation of Programmirovanie), 24 (02):
[3] Specification of an integrated circuit card protocol application using the B method and linear temporal logic
Julliand, J
Legeard, B
Machicoane, T
Parreaux, B
Tatibouët, B
B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 273 - 292
[4] SIGNIFICANT EVENT TEMPORAL LOGIC - A METHOD FOR PROTOCOL SPECIFICATION AND VERIFICATION
VUONG, ST
TSIKNIS, GK
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1995, 10 (01): : 41 - 49
[5] THE APPLICATION OF TEMPORAL LOGIC FOR THE SPECIFICATION AND VERIFICATION OF REACTIVE SYSTEMS
PNUELI, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 301 - 302
[6] FROM STATE MACHINES TO TEMPORAL LOGIC - SPECIFICATION METHODS FOR PROTOCOL STANDARDS
SCHWARTZ, RL
MELLIARSMITH, PM
IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (12) : 2486 - 2496
[7] Temporal logic for process specification and recognition
Arne Kreutzmann
Immo Colonius
Diedrich Wolter
Frank Dylla
Lutz Frommberger
Christian Freksa
Intelligent Service Robotics, 2013, 6 : 5 - 18
[8] SPECIFICATION OF COMMUNICATION SYSTEMS WITH TEMPORAL LOGIC
周巢尘
Science China Mathematics, 1990, (04) : 486 - 502
[9] SYSTEM SPECIFICATION AND REFINEMENT IN TEMPORAL LOGIC
PNUELI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 652 : 1 - 38
[10] Temporal logic specification mining of programs
Zhang, Nan
Yu, Bin
Tian, Cong
Duan, Zhenhua
Yuan, Xiaoshuai
THEORETICAL COMPUTER SCIENCE, 2021, 857 : 29 - 42

← 1 2 3 4 5 →