Software safety verification in critical software intensive systems

P. Rodriguez Dapena

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

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

    Cite this