Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zongyu Cao
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
Related publications
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of System-Level Safety Properties on Railway Software
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Formal Based Verification to Build Safer Cars
International Journal of Computer Applications
Verification of Invariant Properties of Business Process Based on Formal Approach
Formal Specification and Verification
On Verification of Software Components
International Journal of Software Engineering & Applications
Formal Representation and Comparative Analysis of Software Runtime Process
The Advanced Science Journal
Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
