Browsing by Author "Muhlfeld, R."

Now showing items 1-1 of 1

A case study in verification of UML statecharts: the PROFIsafe protocol

Malik, Robi; Muhlfeld, R. (Institute for Information Processing and Computer Supported a, 2003)

We discuss our experience obtained during the PROFIsafe verification and test case generation project at Siemens Corporate Technology. In this project, a formal analysis of the PROFIsafe protocol for failsafe communication ...

R. Muhlfeld has 1 co-authors in Research Commons.

Robi Malik