Skip to content

An approach to refinement checking of SysML requirements.

Denis Makartetskiy, Riccardo Sisto

VenueCETFA
Year2011
ProceedingsETFA

Browse the full ETFA paper archive.