On Detecting Deadlocks in Large UML Models - based on an Expressive Subset - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
On Detecting Deadlocks in Large UML Models - based on an Expressive Subset

On Detecting Deadlocks in Large UML Models - based on an Expressive Subset

Export

All authors

Kersten, Michael and Nebel, Wolfgang

Booktitle

Tagungsband DIPES'04

Publishing date

01 / 2004

Type of Publication

inproceedings

Organization

DIPES'04, IFIP Working Conference on Distributed and Parallel Embedded Systems

OFFIS Autoren

Wolfgang Nebel

Privacy Data Transparency Contact Legals