Toggle navigation
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Plus
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Présentation
Mot du directeur
Organigramme
Activités
Thèses de doctorat
Publications
Logiciels
Modules enseignés
Evènements
Equipes
SCAL
CFSC
MFGL
OSSIG
Anciens membres
Membres
Liens
Faculté NTIC
Université Constantine 2
Système SNDL
Ministère ESR
Infos pratiques
Contact
Accueil
Logiciels
×
Close
--- Equipe ---
SCAL
CFSC
MFGL
OSSIG
Logiciels
Filtrer
MP-SAVE
MP-SAVE: Multi-Paradigm Specification And Verification Environment
Equipe
CFSC
Mots clés :
modèles formels
FOCOVE
Formal Concurrency Verification Environment
Equipe
CFSC
Mots clés :
Specification, Formal verification, LOTOS, CTL, reactive systems
O-CLWPR
O-CLWPR: An optimized version of CLWPR position-based routing protocol designed for urban VANET environment
Equipe
SCAL
Mots clés :
VANET, Geographic routing protocols, Adaptive caching time, Nature inspired, Stigmergy, Local maximum problem, RSM
DMS-RP
DMS-RP routing protocol (NS-3 module)
Equipe
SCAL
Mots clés :
Internet of things, mobile ad hoc networks, wireless sensor networks, multi-sink, multi-parent, clustering
«
1
(current)
»
