البرامج
MP-SAVE

MP-SAVE

MP-SAVE: Multi-Paradigm Specification And Verification Environment
الفريق CFSC

FOCOVE

FOCOVE

Formal Concurrency Verification Environment
الفريق CFSC

O-CLWPR

O-CLWPR

O-CLWPR: An optimized version of CLWPR position-based routing protocol designed for urban VANET environment
الفريق SCAL

DMS-RP

DMS-RP

DMS-RP routing protocol (NS-3 module)
الفريق SCAL