Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

Alexandru Florin Iosif-Lazăr, Andrzej Wasowski

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Fingerprint

Dive into the research topics of 'Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines'. Together they form a unique fingerprint.

Computer Science

Keyphrases