تطوير نموذج تجريدي لتوصيف خصائص الشبكات المتغيرة

• Asıl Yazarlar: رضوان دندة (Yazar), قاسم قبلان (Yazar), سوسن يوسف (Yazar)
• Materyal Türü: Kitap
• Baskı/Yayın Bilgisi: Tishreen University, 2017-10-01T00:00:00Z.
• Konular: article
• Online Erişim: Connect to this object online.

نظراً للعدد الكبير من قواعد النفاذ المعرفة للشبكات والتغير الديناميكي لطوبولوجيا الشبكات, فإن التحقق اليدوي من الخواص المهمة في الشبكة مثل الوصولية, عدم تضارب القواعد وعدم وجود حلقات أمراً صعباً على المبرمج. يعدَ التوصيف الصوري(Formal Specification) للأنظمة والبروتوكولات من أهم الطرق التي تستخدم...