Login / Signup
The Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP.
Kyaw Myat Thu
Myo Thet Naung
Kyaw Zaw Ye
V. V. Devyatkov
Published in:
UKSim (2016)
Keyphrases
</>
image analysis
data mining
real world
image processing
email
formal model
formal analysis