Old Web
English
Sign In
Acemap
>
Paper
>
Model checking agent using formal method for SMS verfication
Model checking agent using formal method for SMS verfication
2009
Siti Dianah Abdul Bujang
Ali Selamat
Keywords:
Formal methods
Programming language
Model checking
Computer science
Theoretical computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]