FM 89: assessment of formal methods for trustworthy computer systems

Authors:
D. Craigen
Affiliations:
Odyssey Research Associates, Inc., 265 Carling Avenue, Suite 506, Ottawa, Ontario, K1S 2E1, Canada
Venue:
ICSE '90 Proceedings of the 12th international conference on Software engineering
Year:
1990

Citing 0
Cited 6

Specifying a Safety-Critical Control System in Z

IEEE Transactions on Software Engineering
FM91: formal methods workshop

ICSE '91 Proceedings of the 13th international conference on Software engineering
Tool support for formal methods

ICSE '91 Proceedings of the 13th international conference on Software engineering
Guest Editor's Introduction: Applications of Formal Methods"Developing Virtuoso Software

IEEE Software
Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives

IEEE Transactions on Software Engineering
On the application of the concept of dependability for design and analysis of vision systems

ICVS'03 Proceedings of the 3rd international conference on Computer vision systems

Quantified Score

Hi-index	0.00

Visualization

Abstract