Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naijun Zhan
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal
Computer Science
Program Verification by Using DISCOVERER
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verifying Information Flow Properties of Hybrid Systems
The Guided System Development Framework: Modeling and Verifying Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling, Specifying and Verifying Self-Adaptive Systems Instantiating MAPE Patterns
International Journal of Computer Applications in Technology
Electronic Engineering
Industrial
Computer Networks
Manufacturing Engineering
Communications
Computer Science Applications
Electrical
Information Systems
Software
Verifying Deadlock-Freedom of Communication Fabrics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Consistent Failure Reporting in Reliable Communication Systems
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
Tutorial Introduction to the Modelling and Control of Hybrid Systems
International Journal of Modelling, Identification and Control
Modeling
Applied Mathematics
Computer Science Applications
Simulation
Specifying and Verifying Systems With Multiple Clocks
Consensus Problem of Multi-Agent Systems With Markovian Communication Failure
