Formal models for component connectors

D. de Oliveira Costa

Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal

307 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Rutten, J.J.M.M., Supervisor Arbab, F., Supervisor, - Niqui, M., Co-supervisor, - Clarke, D.G., Co-supervisor, -
Award date	13 Dec 2010
Publication status	Published - 2010

Keywords

@phdthesis{477767be89f94dd2a449a3b6d984f077,

title = "Formal models for component connectors",

keywords = "Components, Compositional, Connectors, Formal Methods, Formal Models",

author = "{de Oliveira Costa}, D.",

year = "2010",

language = "English",

type = "PhD-Thesis – Research external, graduation internal",

school = "Vrije Universiteit Amsterdam",

}