Search results for: Xuandong Li
Software Testing, Verification and Reliability > 31 > 8 > n/a - n/a
Applied Surface Science > 2018 > 427 > PA > 594-602
IEEE Transactions on Software Engineering > 2017 > 43 > 10 > 975 - 994
IEEE Transactions on Computers > 2017 > 66 > 3 > 416 - 430
Lecture Notes in Computer Science > «UML»’99 — The Unified Modeling Language > Sequence Diagrams > 661-674
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Timed and Hybrid Automata > 155-169
Lecture Notes in Computer Science > Embedded and Ubiquitous Computing – EUC 2005 > Testing and Verification > 395-404
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Timed Automata II > 417-432
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 78-94
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 206-225