Translating SCXML Statecharts to iUML-B State-machines Karla Morris :

First Page		Document Content
Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz		Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Download Document from Source Website File Size: 742,72 KB Share Document on Facebook

	VISITOR GUIDE (2).pdf DocID: 1rqFk - View Document
	PDF Document DocID: 1roqX - View Document
	Microsoft Word - 60_6_d22_assessment_report_.doc DocID: 1r1Tv - View Document
	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : DocID: 1qZPu - View Document
	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) DocID: 1qXoA - View Document