Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Scheme Plans Using CSP||B
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Verification of Solid State Interlocking Programs
Reliability Analysis of ZigBee Based Intra-Vehicle Wireless Sensor Networks
Aeronautical Ad Hoc Network for Civil Aviation
Evaluation of WiFi for Kart Racing Monitoring
A DDS-Based Middleware for Cooperation of Air Traffic Service Units
Optimization for Wireless Vehicular Network System in Urban Area
Live Video Streaming in Vehicular Networks
An Improved Relevance Estimation Function for Cooperative Awareness Messages in VANETs
LTE Micro-cell Deployment for High-Density Railway Areas
Context-Aware Retransmission Scheme for Increased Reliability in Platooning Applications
Automated RF Emulator for a Highly Scalable IEEE802.11p Communication and Localization Subsystem