دورية أكاديمية
Formal techniques for the specification, verification and construction of communication protocols
| العنوان: | Formal techniques for the specification, verification and construction of communication protocols |
|---|---|
| المؤلفون: | Tat Choi |
| المصدر: | IEEE Communications Magazine IEEE Commun. Mag. Communications Magazine, IEEE. 23(10):46-52 Oct, 1985 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 01636804 15581896 |
|---|---|
| DOI: | 10.1109/MCOM.1985.1092439 |