Wyniki wyszukiwania dla: Bow-Yaw Wang
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 316-330
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Learning > 205-219
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 186-199
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 169-181
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 36-45
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 51-65
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 20-33
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 74-91
Lecture Notes in Computer Science > Computer Aided Verification > Session 12. Decision Procedures > 570-584
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 246-262
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 643-657
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 31-45