Search results for: Marcel Kyas
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 324-339
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > UML > 83-98
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 42-60
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 371-386
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 397-407
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 257-279
IEEE Transactions on Vehicular Technology > 2015 > 64 > 9 > 4282 - 4291