The Development of Tools for Verification and Validation of Communication Protocols.

Raimo Kujansuu Leo Ojala Heikki Tuominen

Published in: PSTV (1982)

Keyphrases

communication protocols
protocol specification
software developers
design principles
communication protocol
model checking
development process
decision support
web technologies
formal methods
software engineering
end users
knowledge based systems
neural network
technical issues
domain specific languages
case study