Formal models for component connectors

D. de Oliveira Costa

Research output: PhD ThesisPhD Thesis - Research external, graduation VU Amsterdam

86 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Rutten, J.J.M.M., Supervisor
  • Arbab, F., Supervisor, External person
  • Niqui, M., Co-supervisor, External person
  • Clarke, D.G., Co-supervisor, External person
Award date13 Dec 2010
Publication statusPublished - 2010

Keywords

  • Components
  • Compositional
  • Connectors
  • Formal Methods
  • Formal Models

Cite this