Software safety verification in critical software intensive systems

P. Rodriguez Dapena

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

    1341 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Industrial Engineering and Innovation Sciences
    • Brombacher, Aarnout C., Promotor
    • Kusters, Rob, Promotor
    • Trienekens, Jos, Copromotor
    Award date5 Mar 2002
    Place of PublicationEindhoven
    Print ISBNs90-386-0953-0
    Publication statusPublished - 2002

    Cite this