Software safety verification in critical software intensive systems

P. Rodriguez Dapena

    Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

    1025 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Department of Industrial Engineering & Innovation Sciences
    Supervisors/Advisors
    • Brombacher, Aarnout C., Promotor
    • Kusters, Rob, Promotor
    • Trienekens, Jos J.M., Copromotor
    Award date5 Mar 2002
    Place of PublicationEindhoven
    Publisher
    Print ISBNs90-386-0953-0
    DOIs
    Publication statusPublished - 2002

    Cite this

    Rodriguez Dapena, P. (2002). Software safety verification in critical software intensive systems. Eindhoven: Technische Universiteit Eindhoven. https://doi.org/10.6100/IR554477
    Rodriguez Dapena, P.. / Software safety verification in critical software intensive systems. Eindhoven : Technische Universiteit Eindhoven, 2002. 209 p.
    @phdthesis{989efcb14edb4702ba97e0ff43bf2848,
    title = "Software safety verification in critical software intensive systems",
    author = "{Rodriguez Dapena}, P.",
    year = "2002",
    doi = "10.6100/IR554477",
    language = "English",
    isbn = "90-386-0953-0",
    publisher = "Technische Universiteit Eindhoven",
    school = "Department of Industrial Engineering & Innovation Sciences",

    }

    Rodriguez Dapena, P 2002, 'Software safety verification in critical software intensive systems', Doctor of Philosophy, Department of Industrial Engineering & Innovation Sciences, Eindhoven. https://doi.org/10.6100/IR554477

    Software safety verification in critical software intensive systems. / Rodriguez Dapena, P.

    Eindhoven : Technische Universiteit Eindhoven, 2002. 209 p.

    Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

    TY - THES

    T1 - Software safety verification in critical software intensive systems

    AU - Rodriguez Dapena, P.

    PY - 2002

    Y1 - 2002

    U2 - 10.6100/IR554477

    DO - 10.6100/IR554477

    M3 - Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)

    SN - 90-386-0953-0

    PB - Technische Universiteit Eindhoven

    CY - Eindhoven

    ER -

    Rodriguez Dapena P. Software safety verification in critical software intensive systems. Eindhoven: Technische Universiteit Eindhoven, 2002. 209 p. https://doi.org/10.6100/IR554477