Component interface specification in architecture description languages for behavioral validation

Nikola Lazovski, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)

    Research output: ThesisPd Eng Thesis

    2 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Component interface specification in architecture description languages for behavioral validation'. Together they form a unique fingerprint.

    Engineering & Materials Science