Direct Model-checking of SysML Models.

Alessandro Tempia Calvino, Ludovic Apvrille

Browse the full MODELSWARD paper archive.