Integrating safety analysis into formal specification of dependable systems
暂无分享,去创建一个
[1] Kaisa Sere,et al. Safety Analysis in Formal Specification , 1999, World Congress on Formal Methods.
[2] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[3] Emil Sekerinski,et al. Graphical Design of Reactive Systems , 1998, B.
[4] Anders P. Ravn,et al. From Safety Analysis to Software Requirements , 1998, IEEE Trans. Software Eng..
[5] Hermann Kopetz,et al. Dependability: Basic Concepts and Terminology , 1992 .
[6] Elena Troubitsyna,et al. Specifying Safety-Related Hazards Formally , 1999 .
[7] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[8] Kaisa Sere,et al. Hazard Analysis in Formal Specification , 1999, SAFECOMP.
[9] Neil R. Storey,et al. Safety-critical computer systems , 1996 .
[10] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[11] Kaisa Sere,et al. An Action System Approach to the Steam Boiler Problem , 1995, Formal Methods for Industrial Applications.
[12] Ralph-Johan Back,et al. Refinement Calculus, Part II: Parallel and Reactive Programs , 1989, REX Workshop.
[13] Ken Wong,et al. Refinement of Safety-Related Hazards into Verifiable Code Assertions , 1998, SAFECOMP.