تطوير نموذج تجريدي لتوصيف خصائص الشبكات المتغيرة
نظراً للعدد الكبير من قواعد النفاذ المعرفة للشبكات والتغير الديناميكي لطوبولوجيا الشبكات, فإن التحقق اليدوي من الخواص المهمة في الشبكة مثل الوصولية, عدم تضارب القواعد وعدم وجود حلقات أمراً صعباً على المبرمج. يعدَ التوصيف الصوري(Formal Specification) للأنظمة والبروتوكولات من أهم الطرق التي تستخدم...
Sábháilte in:
| Príomhchruthaitheoirí: | , , |
|---|---|
| Formáid: | LEABHAR |
| Foilsithe / Cruthaithe: |
Tishreen University,
2017-10-01T00:00:00Z.
|
| Ábhair: | |
| Rochtain ar líne: | Connect to this object online. |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Ar líne
Connect to this object online.3rd Floor Main Library
| Gairmuimhir: |
A1234.567 |
|---|---|
| Cóip 1 | Ar fáil |