Search

Your search keyword '"Hu, Qimin"' showing total 6 results

Search Constraints

Start Over You searched for: Author "Hu, Qimin" Remove constraint Author: "Hu, Qimin" Publication Type eBooks Remove constraint Publication Type: eBooks
6 results on '"Hu, Qimin"'

Search Results

1. Formal Development and Verification of Reusable Component in PAR Platform

2. Formal Specification and Verification for Real-Time Scheduling Based on PAR

3. PAR: A Practicable Formal Method and Its Supporting Platform

4. Formal Development of Linear Structure Reusable Components in PAR Platform

5. Research on Formal Development of Non-recursive Algorithms of Graph Search

6. Formal Semantics of Orc Based on TLA

Catalog

Books, media, physical & digital resources