Formalism and method

Authors:
Egidio Astesiano;Gianna Reggio
Affiliations:
Univ. di Genova, Genova, Italy;Univ. di Genova, Genova, Italy
Venue:
Theoretical Computer Science - Trees in algebra and programming
Year:
2000

Citing 0
Cited 3

Towards Development of Secure Systems Using UMLsec

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
From conditional specifications to interaction charts

Formal Methods in Software and Systems Modeling
Assessing the expressivity of formal specification languages

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract