Janice L. Stolzy

Publication Activity (10 Years)

Years Active: 1985-1987
Publications (10 Years): 0

Publications

Nancy G. Leveson, Janice L. Stolzy
Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13 (3) (1987)
Nancy G. Leveson, Janice L. Stolzy
Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 (1985)