Information processing systems. Open systems interconnection. Estelle: a formal description technique based on an extended state transition model

1990 ◽  
Keyword(s):  
Information Processing ◽  
State Transition ◽  
Open Systems ◽  
Transition Model ◽  
Formal Description ◽  
Extended State ◽  
Formal Description Technique ◽  
Open Systems Interconnection ◽  
State Transition Model ◽  
Description Technique

Experience with Formal Specifications Using an Extended State Transition Model

1982 ◽  
Vol 30 (12) ◽  
pp. 2506-2513 ◽  
Author(s):  
G. Bochmann ◽  
E. Cerny ◽  
M. Gagne ◽  
C. Jard ◽  
A. Leveille ◽  
...  
Keyword(s):  
State Transition ◽  
Transition Model ◽  
Formal Specifications ◽  
Extended State ◽  
State Transition Model
Sign in / Sign up

Export Citation Format

Share Document