Alexandru F. Iosif-Lazăr

From MaRDI portal
Person:338615

Available identifiers

zbMath Open iosif-lazar.alexandru-fMaRDI QIDQ338615

List of research outcomes





PublicationDate of PublicationType
Trustworthy variant derivation with translation validation for safety critical product lines2016-11-07Paper

Research outcomes over time

This page was built for person: Alexandru F. Iosif-Lazăr