-
Improvement for Rate-based Protocols in Multihop Wireless Networks
International audience -
Validation methodology of layered systems by Petri Nets : application to Tran...
We develop a method to validate concurrent layered systems. We define two concepts : model concordance (the model verifies the specification properties) and service... -
Architecture réseau pour véhicule de transport en commun communiquant
With the growing popularity of mobile devices, Public Transport will have to evolve and will have to introduce new services to customers, like an Internet connection... -
A Cross Layer Solution for Better Interactions Between Routing and Transport ...
International audience
