Deriving behavioral specifications of industrial software components

Kousar Aslam

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

160 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	van den Brand, Mark G.J., Promotor Schiffelers, Ramon R.H., Copromotor Cleophas, Loek G.W.A., Copromotor
Award date	14 Jun 2021
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Print ISBNs	978-90-386-5288-7
Publication status	Published - 14 Jun 2021

Proefschrift.

Promotion : time and place

@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",

school = "Mathematics and Computer Science",

}