[PDF][PDF] VANET-based traffic monitoring and incident detection system: A review.
As a component of intelligent transport systems (ITS), vehicular ad hoc network (VANET),
which is a subform of manet, has been identified. It is established on the roads based on …
which is a subform of manet, has been identified. It is established on the roads based on …
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
Vehicular ad hoc networks have attracted the attention of many researchers during the last
years due to the emergence of autonomous vehicles and safety concerns. Most of the …
years due to the emergence of autonomous vehicles and safety concerns. Most of the …
Specification and verification of timing properties in interoperable medical systems
M Zarneshan, F Ghassemi… - Logical Methods in …, 2022 - lmcs.episciences.org
To support the dynamic composition of various devices/apps into a medical system at point-
of-care, a set of communication patterns to describe the communication needs of devices …
of-care, a set of communication patterns to describe the communication needs of devices …
Formal modeling and analysis of medical systems
Medical systems are composed of medical devices and apps which are developed
independently by different vendors. A set of communication patterns, based on …
independently by different vendors. A set of communication patterns, based on …
Introduction to the special issue for SPIN 2019
Introduction to the special issue for SPIN 2019 | SpringerLink Skip to main content Advertisement
SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home 2.International …
SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home 2.International …