Formal and Informal Specifications of a Secure System Component: first results in a comparative study

Authors:
John S. Fitzgerald;T. M. Brookes;M. A. Green;Peter Gorm Larsen
Affiliations:
-;-;-;-
Venue:
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Year:
1994

Citing 0
Cited 3

Applying Formal Specification in Industry

IEEE Software
Secrecy-Preserving Refinement

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Modeling and validating the train fare calculation and adjustment system using VDM++

VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments

Quantified Score

Hi-index	0.00

Visualization

Abstract