Search results for: Farn Wang
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 300-314
Acta Informatica > 2017 > 54 > 7 > 625-654
IEEE Transactions on Software Engineering > 2016 > 42 > 7 > 605 - 622
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking I > 189-205
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Temporal Logic II > 382-396
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Application > 185-200
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Timed and Stochastic Systems > 258-273
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing in Practice > 310-325
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time > 19-33
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 160-176
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Concurrent System Testing > 234-249