Verification of ISO ACSE protocol specified in Estelle
Academic Article
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- View All
-
Overview
status
publication date
has subject area
published in
Research
keywords
-
ACSE
-
APPLICATION LAYER PROTOCOL
-
Computer Science
-
Computer Science, Information Systems
-
ESTELLE
-
Engineering
-
Engineering, Electrical & Electronic
-
FORMAL SPECIFICATION
-
NUMERICAL PETRI NETS
-
PROTEAN
-
PROTOCOL VERIFICATION
-
REACHABILITY ANALYSIS
-
Science & Technology
-
Technology
-
Telecommunications
Identity
Digital Object Identifier (DOI)
Additional Document Info
Publisher
start page
end page
volume
issue