Login / Signup
The OSA Project - Design and Formal Specification of an X.25 Based Open Transport Layer and its Protocols.
Sigram Schindler
D. Altenkrüger
Ute Flasche
Juergen Schulze
Michael Steinacker
Published in:
Kommunikation in Verteilten Systemen (1979)
Keyphrases
</>
formal specification
object oriented design
specification languages
case study
formal methods
transport layer
model checking
object oriented
response time
user experience
reverse engineering
application layer
network layer