Search results for: Zhao Jianhua
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 241-250
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 > 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