Originele taal-2 | Engels |
---|---|
Kwalificatie | Doctor in de Filosofie |
Toekennende instantie |
|
Begeleider(s)/adviseur |
|
Datum van toekenning | 28 jan. 2019 |
Plaats van publicatie | Eindhoven |
Uitgever | |
Gedrukte ISBN's | 978-90-386-4678-7 |
Status | Gepubliceerd - 28 jan. 2019 |
Verification of concurrent systems in a model-driven engineering workflow
S.M.J. de Putter
Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
459
Downloads
(Pure)