Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by WANG KEMING
Formal Modeling and Data Validation of General Railway Interlocking System
Related publications
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Formal Verification Approaches of Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
RailML Application for Description of Railway Interlocking Systems
AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
Formal Verification of System-Level Safety Properties on Railway Software
A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess
Mathematical Problems in Engineering
Mathematics
Engineering
Machine Learning and Modeling: Data, Validation, Communication Challenges
Medical Physics
Medicine
Nuclear Medicine
Radiology
Imaging
Biophysics
In Vehicle Truck Steering-System Modeling and Validation
Incremental Validation of Formal Specifications
Modeling of Large Railway Polygons
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
