Search

Your search keyword '"Xu, Qiwen"' showing total 15 results

Search Constraints

Start Over You searched for: Author "Xu, Qiwen" Remove constraint Author: "Xu, Qiwen" Publisher springer nature switzerland Remove constraint Publisher: springer nature switzerland
15 results on '"Xu, Qiwen"'

Search Results

1. Concurrent Hyperproperties

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

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

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