Wissenschafterinnenkolleg Internettechnologien

Part 25 EXPRESS/UML

Part 25 EXPRESS/UML

Tools for Automated Verification of Concurrent

Tools for Automated Verification of Concurrent

Slide 1

Document

Document

Courses Template

Courses Template

XML and Beyond

XML and Beyond

A Formal Descriptive Semantics of UML and Its Applications

A Formal Descriptive Semantics of UML and Its Applications

Document

Document