Visualization of Analysis Results in the ProC/B Toolset - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

M. Arns, Markus Fischer, Carsten Tepper, Markus Völker. Visualization of Analysis Results in the ProC/B Toolset. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 318-319, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'M. Arns' in GoogleThis author has not been identified. Look up 'Markus Fischer' in GoogleThis author has not been identified. Look up 'Carsten Tepper' in GoogleThis author has not been identified. Look up 'Markus Völker' in Google

runs on WebDSL