A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models - 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
A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

Export

All authors

Kersten, Michael

Publishing date

01 / 2006

Type of Publication

phdthesis

Publisher

Dr. Hut Verlag

Editor

Dr. Hut Verlag

Privacy Data Transparency Contact Legals