10 results on '"Zhang, Fuyuan"'
Search Results
2. Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism
3. Multi-size Scaled CAM for More Accurate Visual Interpretation of CNNs
4. Multi-valued Logic for Static Analysis and Model Checking
5. A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
6. Compositional Reasoning for Shared-Variable Concurrent Programs
7. CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
8. Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication
9. Model Checking as Static Analysis: Revisited
10. Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.