Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mian Sun
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Related publications
Formal Semantics and Verification for Feature Modeling
Study on Formal Modeling and Verification of Safety Computer Platform
Advances in Mechanical Engineering
Mechanical Engineering
Formal Specification and Verification
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Communications in Computer and Information Science
Mathematics
Computer Science
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Formal Verification of Privacy for RFID Systems
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
