Old Web
English
Sign In
Acemap
>
Paper
>
Performance simulation of communication protocols based on formal specifications
Performance simulation of communication protocols based on formal specifications
1992
Gregor von Bochmann
Daniel M. Ouimet
Jean G. Vaucher
Keywords:
Formal methods
Language Of Temporal Ordering Specification
Formal specification
Systems engineering
Computer science
Communications protocol
Formal verification
Correction
Cite
Save
Machine Reading By IdeaReader
7
References
1
Citations
NaN
KQI
[]