Author:
Fakhfakh Faten,Tounsi Mohamed,Mosbah Mohamed
Reference23 articles.
1. Modeling in Event-B: system and software engineering;Abrial,2010
2. On correct refinement of programs;Back;Journal of Computer and System Sciences,1981
3. Principles of model checking;Baier,2008
4. Direction based hazard routing protocol (dhrp) for disseminating road hazard information using road side infrastructures in vanets;Berlin;SpringerPlus,2014
5. Bhuiyan, M.M., Salim, S.M., Hasan, M.R., 2011. Density aware broadcasting scheme for vanet, in: Proceedings of the 17th Asia-Pacific Conference on Communications (APCC), IEEE. pp. 467-471.