دورية أكاديمية
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 |
تدمد: | 01636804 15581896 |
---|---|
DOI: | 10.1109/MCOM.1985.1092439 |