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.