Search

Your search keyword '"Chen, Zhenbang"' showing total 16 results

Search Constraints

Start Over You searched for: Author "Chen, Zhenbang" Remove constraint Author: "Chen, Zhenbang" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
16 results on '"Chen, Zhenbang"'

Search Results

3. Formal Verification Based Synthesis for Behavior Trees

4. CCMOP: A Runtime Verification Tool for C/C++ Programs

5. Collaborative Verification of Uninterpreted Programs

6. Trace Abstraction-Based Verification for Uninterpreted Programs

7. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

8. An Operational Semantics for Model Checking Long Running Transactions

9. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations

10. Failure-Divergence Refinement of Compensating Communicating Processes

11. An Extended cCSP with Stable Failures Semantics

12. Specification and Validation of Behavioural Protocols in the rCOS Modeler

13. Towards Formal Interfaces for Web Services with Transactions

14. Modelling with Relational Calculus of Object and Component Systems - rCOS

15. Harnessing rCOS for Tool Support —The CoCoME Experience

Catalog

Books, media, physical & digital resources