6 results on '"Hu, Qimin"'
Search Results
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.