Search results for: Xuandong Li
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
Lecture Notes in Computer Science > Model Driven Architecture- Foundations and Applications > 204-218