Browsing by Author "Muhlfeld, R."
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 ...
Co-authors for R. Muhlfeld
R. Muhlfeld has 1 co-authors in Research Commons.