Use of LOTOS in the formal development of an OSI protocol.

Robert G. Clark Valerie M. Jones

Published in: Comput. Commun. (1992)

Keyphrases

formal analysis
database
case study
lightweight
ontological engineering
multi agent
information technology
end to end
development process
rapid development
reference model
future development
operational semantics