15 results on '"Xu, Qiwen"'
Search Results
2. The Consensus Machine: Formalising Consensus in the Presence of Malign Agents
3. Time: It is only Logical!
4. KnowLang – A Formal Specification Model for Self-adaptive Systems
5. Applying Formal Verification to an Open-Source Real-Time Operating System
6. A Coq Implementation of the Program Algebra in Jifeng He’s New Roadmap for Linking Theories of Programming
7. Assume-Guarantee Reasoning for Additive Hybrid Behaviour
8. Domain Modelling: A Foundation for Software Development
9. Characterizations of Parallel Real-Time Workloads
10. Towards Efficient Data-Flow Test Data Generation
11. Linking Formal Methods in Software Development : A Reflection on the Development of rCOS
12. Specifying and Reasoning About Shared-Variable Concurrency
13. UTP, Circus, and Isabelle
14. Consciousness by Degree
15. Jifeng He at Oxford and Beyond: An Appreciation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.