"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation

Authors:
M. Feather;J. Dunphy;N. Rouquette
Affiliations:
-;-;-
Venue:
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Year:
1998

Citing 2
Cited 0

Applying the SCR requirements method to a weapons control panel: an experience report

FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Validating Requirements for Fault Tolerant Systems using Model Checking

ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice

Quantified Score

Hi-index	0.00

Visualization

Abstract