Verification-Driven Slicing of UML/OCL Models

Asadullah Shaikh, Robert Clarisó Viladrosa, Uffe Kock Wiil, Nasrullah Memon

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification-Driven Slicing of UML/OCL Models'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab