Visualization of analysis results in the ProC/B toolset

M. Arns; M. Fischer; C. Tepper; M. Volker

doi:10.1109/QEST.2004.1348046

Previous
Next
Table of Contents
Similar Articles

Quantitative Evaluation of Systems, International Conference on

Visualization of analysis results in the ProC/B toolset

Year: 2004, Pages: 318-319

DOI Bookmark: 10.1109/QEST.2004.1348046

Authors

M. Arns, Informatik IV, Dortmund Univ., Germany
M. Fischer, Informatik IV, Dortmund Univ., Germany
C. Tepper, Informatik IV, Dortmund Univ., Germany
M. Volker, Informatik IV, Dortmund Univ., Germany

Visualization of analysis results in the ProC/B toolset

Authors

Abstract