Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhengheng Yuan
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
IEEE Transactions on Intelligent Transportation Systems
Automotive Engineering
Computer Science Applications
Mechanical Engineering
Related publications
Progressing Problems From Requirements to Specifications in Problem Frames
Formal Verification of Safety Behaviours of the Outdoor Robot Ravon
Study on Formal Modeling and Verification of Safety Computer Platform
Advances in Mechanical Engineering
Mechanical Engineering
Formal Verification of System-Level Safety Properties on Railway Software
A Formal and Practical Framework for Constraint-Based Routing
Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems
Formal Based Verification to Build Safer Cars
International Journal of Computer Applications
The Application of Fresnel Zone Plate Based Projection in Optofluidic Microscopy
Optics Express
Optics
Atomic
Molecular Physics,
Formal Specification and Verification