Search results for: Li Xuandong
Lecture Notes in Computer Science > Concurrency and Parallelism, Programming, Networking, and Security > 321-332
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 564-578
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Duration Calculus > 465-479
Lecture Notes in Computer Science > Emerging Directions in Embedded and Ubiquitous Computing > ESO 2006 Workshop > 795-804
Lecture Notes in Computer Science > Reliable Software Technologies – Ada-Europe 2006 > Verification > 94-105
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Activity Diagrams > 62-75
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Real Time > 388-403
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia > 262-276
Formal Aspects of Computing > 2004 > 16 > 2
Formal Aspects of Computing > 2004 > 16 > 2 > 155-163
Materials Chemistry and Physics > 2003 > 80 > 1 > 39-43