Systematic development of Markov models for the 1002D programmable electronic system architecture : analyses of safety and availability

W.M. Goble, A.C. Brombacher, J.V. Bukowski

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageEnglish
    Title of host publicationSAFECOMP 96 / the 15th international conference on computer safety, reliability and security, Vienna, Austria, October 23-25, 1996
    EditorsE. Schoitsch
    Place of PublicationBerlin
    PublisherSpringer
    ISBN (Print)3-540-76070-9
    Publication statusPublished - 1997

    Cite this

    Goble, W. M., Brombacher, A. C., & Bukowski, J. V. (1997). Systematic development of Markov models for the 1002D programmable electronic system architecture : analyses of safety and availability. In E. Schoitsch (Ed.), SAFECOMP 96 / the 15th international conference on computer safety, reliability and security, Vienna, Austria, October 23-25, 1996 Springer.