Formal verification of safety-critical systems

Authors:
L. E. Moser;P. M. Melliar-Smith
Affiliations:
-;-
Venue:
Software—Practice & Experience
Year:
1990

Citing 0
Cited 3

A graphical environment for the design of concurrent real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing Safety Requirements for Process-Control Systems

IEEE Software
Advantages and limits of formal approaches for ultra-high dependability

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract