Communication Protocol Specification and Verification
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer US

9781461375371, 9781461555490
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Protocol Verification

1998 ◽  
pp. 143-163
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana
Keyword(s):  
Protocol Verification

Even — A Software Environment for Estelle Verification

1998 ◽  
pp. 235-257
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana
Keyword(s):  
Software Environment

A Review on Estelle Verification

1998 ◽  
pp. 165-191
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

Lotos

1998 ◽  
pp. 81-109
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

Estelle

1998 ◽  
pp. 39-80
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

Applications of Even

1998 ◽  
pp. 275-296
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

A Method to Address the State Space Explosion Problem

1998 ◽  
pp. 259-273
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana
Keyword(s):  
State Space ◽  
The State ◽  
State Space Explosion

NPNS Modelling Estelle

1998 ◽  
pp. 193-234
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

SDL

1998 ◽  
pp. 111-138
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana

Formal Description Techniques

1998 ◽  
pp. 27-37
Author(s):  
Richard Lai ◽  
Ajin Jirachiefpattana
Keyword(s):  
Formal Description ◽  
Formal Description Techniques
Load More ...
Sign in / Sign up

Export Citation Format

Share Document