Skip to content

Towards a fractionation-based verification: application on SysML activity diagrams.

Samir Ouchani

Year2019
ProceedingsSAC

Browse the full SAC paper archive.