Verification of concurrent systems in a model-driven engineering workflow

S.M.J. de Putter

    Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

    459 Downloads (Pure)
    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    • Mathematics and Computer Science
    Begeleider(s)/adviseur
    • van den Brand, Mark G.J., Promotor
    • Wijs, Anton J., Co-Promotor
    Datum van toekenning28 jan. 2019
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's978-90-386-4678-7
    StatusGepubliceerd - 28 jan. 2019

    Bibliografische nota

    Proefschrift

    Citeer dit