Formal Specification Language for Vehicular Ad-Hoc Networks

QR Code

Formal Specification Language for Vehicular Ad-Hoc Networks

Vehicular Ad-Hoc Network (VANET) is a form of Mobile Ad-Hoc Network (wireless Network), originally used to provide safety & comfort for passengers, & currently being used to establish Dedicated Short Range Communications (DSRC) among near by Vehicles (V2V Communications) and between vehic...

Full description

Bibliographic Details
Main Authors:	Maythem Kamal , Abbas, Azween, Abdullah
Format:	Thesis
Language:	English
Published:	2009
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://scholars.utp.edu.my/id/eprint/2697/ http://scholars.utp.edu.my/id/eprint/2697/1/Thesis.pdf

Similar Items

Critical applications in vehicular ad hoc/sensor networks
by: Kumar, Neeraj, et al.
Published: (2014)

Implementation issues of vehicular ad hoc network applications: selected case studies in Malaysia
by: Muhammed Yusof, Zulkefli, et al.
Published: (2013)

The study of AODV routing protocol in Vehicular Ad-hoc Sensor Networks
by: Suhaili, Sinarwati Mohamad, et al.
Published: (2015)

Performance analysis of vehicular ad hoc networks with realistic mobility pattern
by: Chan, Wai Foo, et al.
Published: (2007)

EAP-BASED AUTHENTICATION FOR AD HOC NETWORK
by: M.A.C., Bhakti, et al.
Published: (2007)

Relay suitability based routing protocol for video streaming in vehicular ad-hoc network
by: Omar Abdulmaged, Hammood
Published: (2022)

RESP: Relay suitability-based routing protocol for video streaming in vehicular Ad Hoc Networks
by: Hammood, Omar A., et al.
Published: (2019)

Enhancement the video quality forwarding Using Receiver-Based Approach (URBA) in Vehicular Ad-Hoc Network
by: Hammood, Omar A., et al.
Published: (2017)

Immune Inspired Approach for Securing Wireless Ad hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2009)

Immune Inspired Approach for Securing Wireless Ad hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2009)

Biologically Inspired Model for Securing Mobile Ad Hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2010)

Novel Immune-based Framework for Securing Ad hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2010)

Authentication Mechanism for Ad Hoc Wireless Local Area Network
by: M.A.C., Bhakti, et al.
Published: (2008)

The impact of transmission range over node density in Vehicular Ad Hoc Network (VANET) with obstruction of road infrastucture
by: Muhammed Yusof, Zulkefli, et al.
Published: (2011)

Improved Geographical Routing in Vehicular Ad Hoc Networks
by: Sadiq, Ali Safa, et al.
Published: (2015)

Biologically inspired architecture for securing hybrid mobile ad hoc networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2010)

Biologically Inspired Model for Securing Hybrid Mobile Ad hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2008)

A secure and efficient revocation protocol for group signatures in vehicular ad hoc networks / Nur Fadhilah Mohd Shari
by: Nur Fadhilah , Mohd Shari
Published: (2018)

Securing Mobile Ad hoc Domain by Immune-Inspired Mechanism
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2010)

A Framework Of High Mobility Routing For Video Transmission In Vehicular Ad Hoc Networks Using Relative Speed And Distance
by: Mohammed Yousef, Walid Shaher
Published: (2017)

EAP Authentication Mechanism for Ad Hoc Wireless LAN
by: M.A.C., Bhakti, et al.
Published: (2010)

Adaptive radio propagation model for modern road infrastructure units in Vehicular Ad Hoc networks / Muhammad Ahsan Qureshi
by: Muhammad Ahsan, Qureshi
Published: (2016)

A lightweight secure authentication for vehicular ad-hoc networks by message encapsulation and trusted authority dependency-less scheme / Tarak Nandy
by: Tarak , Nandy
Published: (2022)

An alternative routing mechanisms for mobile ad-hoc networks
by: Ali, Awos Khazal
Published: (2008)

Vehicles Speed Control via VANET
by: Maythem Kamal , Abbas, et al.
Published: (2009)

Remote Mobile Nodes Service Delivery via VANET
by: Maythem kamal, Abbas, et al.

Congestive Loss in Wireless Ad hoc Network: Network Performance Analysis
by: Nahar, H., et al.
Published: (2011)

Integrating mobile ad hoc network into mobile IPv6 network
by: Ali, Adel, et al.
Published: (2004)

Predicting the survivability of links in an ad hoc network / Lim Vivi
by: Lim , Vivi
Published: (2006)

Secure communication in Vehicular ad hoc network using modified ad hoc on demand distance vector
by: Abdulkader, Zaid A.
Published: (2018)

Mobile ad hoc network overview
by: Ismail, Ishak, et al.
Published: (2007)

A review current routing attacks in mobile ad-hoc networks
by: Khokhar, Rasheed Hafeez, et al.
Published: (2008)

A friend mechanism for mobile ad hoc networks
by: Abd. Razak, Shukor, et al.
Published: (2008)

Immune Inspired Framework for Ad Hoc Network Security
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2009)

Immune Inspired Framework for Ad Hoc Network Security
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2009)

An enhanced cluster head selection algorithm for routing in mobile AD-HOC network
by: Abdulsaheb, Ghaida Muttasher
Published: (2017)

Resource Aware Application for Mobile Device In An Ad Hoc Wireless Network Environment
by: Saaya, Zurina, et al.
Published: (2010)

Simplified gateway selection scheme for multihop relay in vehicular ad hoc network
by: Alawi, Mahmoud, et al.
Published: (2014)

Implementation and performance analysis of wireless Ad-hoc Mesh networks
by: Mok, Thomas Shao Chung
Published: (2024)

Enhancement the video quality forwarding Using Receiver-Based Approach(URBA) in Vehicular Ad-Hoc Network
by: Hammood, Omar A., et al.
Published: (2017)

Cannot write session to /tmp/vufind_sessions/sess_lfp32cdab1tcgahd6rn6o4m8vv