توصيف البروتوكول والتحقق منه protocol specification and verification
هي تقنيات رياضية لفحص وتحديد البروتوكولات بسبب كون البروتوكول الحقيقي معقد من الناحية تمثيل البرامج وهذه الموديلات تصلح للطبقات الاخرى من هذه النماذج
-نموذج الالة المحددة (المنتهية) الحالات finite stste machine models
نموذج شبكة بيتري petri net models
هذه الصفحة مفتوحة لمن يملك المعلومات التي تخص الموضوع لأستفادة الجميع منها...فلا تبخلوا بمعلوماتكم

ولكم مني خالص تقديري