Search results
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 329-330
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Model Checking > 76-90
UML for Real > 17-51