Toggle navigation
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
More
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Presentation
The head word
Organigram
Activities
PhD theses
Publications
Softwares
Taught modules
Events
Teams
SCAL
CFSC
MFGL
OSSIG
Former members
Members
Links
NTIC Faculty
Constantine 2 University
SNDL System
MESRS
Useful information
Contact
Home
Softwares
×
Close
--- Team ---
SCAL
CFSC
MFGL
OSSIG
Softwares
Filter
MP-SAVE
MP-SAVE: Multi-Paradigm Specification And Verification Environment
Team
CFSC
Key words :
modèles formels
FOCOVE
Formal Concurrency Verification Environment
Team
CFSC
Key words :
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
Team
SCAL
Key words :
VANET, Geographic routing protocols, Adaptive caching time, Nature inspired, Stigmergy, Local maximum problem, RSM
DMS-RP
DMS-RP routing protocol (NS-3 module)
Team
SCAL
Key words :
Internet of things, mobile ad hoc networks, wireless sensor networks, multi-sink, multi-parent, clustering
«
1
(current)
»
