Deriving behavioral specifications of industrial software components

Kousar Aslam

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

308 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	van den Brand, Mark G.J., Promotor Schiffelers, Ramon R.H., Co-Promotor Cleophas, Loek G.W.A., Co-Promotor
Datum van toekenning	14 jun. 2021
Plaats van publicatie	Eindhoven
Uitgever	Eindhoven University of Technology
Gedrukte ISBN's	978-90-386-5288-7
Status	Gepubliceerd - 14 jun. 2021

Proefschrift.

Toegang tot document

@phdthesis{866979d90116401d91bb1c4a6d8286b8,

title = "Deriving behavioral specifications of industrial software components",

author = "Kousar Aslam",

note = "Proefschrift.",

year = "2021",

month = jun,

day = "14",

language = "English",

isbn = "978-90-386-5288-7",

series = "IPA Dissertation Series",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}