Formal Methods and Customized Visualization: A Fruitful Symbiosis

Authors:
Tiziana Margaria;Volker Braun
Affiliations:
-;-
Venue:
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
Year:
1998

Citing 0
Cited 1

Flexible and Reliable Process Model Properties: An Integrated Approach

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract