Generation and validation of traces between requirements and architecture based on formal trace semantics

Arda Göknil, Ivan Ivanov, Klaas van den Berg

    Research output: Contribution to journalArticleAcademicpeer-review

    28 Citations (Scopus)
    88 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Generation and validation of traces between requirements and architecture based on formal trace semantics'. Together they form a unique fingerprint.