First Page | Document Content | |
---|---|---|
Date: 2016-05-30 13:57:46Computing 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 ListSource URL: wiki.event-b.orgDownload Document from Source WebsiteFile Size: 742,72 KBShare Document on Facebook |
Translating SCXML Statecharts to iUML-B State-machines Karla Morris :DocID: 1qZPu - View Document | |
Data Exchange File Format for SIV Internal Working Draft ver. 1.2— March 10, 2006 VoiceXML Forum Speaker Biometrics CommitteeDocID: 1qABS - View Document | |
1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1DocID: 1oLHZ - View Document | |
Sneak Preview: VoiceXML 3.0 • Slides presented at SpeechTEK August 2006 • Presenters:DocID: 1awOL - View Document | |
Microsoft PowerPoint - CallControl_JamSession.pptxDocID: 18xZB - View Document |