Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Verification of Scheme Plans Using CSP||B
Verification of Solid State Interlocking Programs
Optimization for Wireless Vehicular Network System in Urban Area
A DDS-Based Middleware for Cooperation of Air Traffic Service Units
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
Evaluation of WiFi for Kart Racing Monitoring
Reliability Analysis of ZigBee Based Intra-Vehicle Wireless Sensor Networks
Aeronautical Ad Hoc Network for Civil Aviation
Automated RF Emulator for a Highly Scalable IEEE802.11p Communication and Localization Subsystem