<--- Back to Details
First PageDocument Content
Computing / SCXML / Models of computation / Call Control eXtensible Markup Language / State diagram / Formal methods / Auguste Rodin / B-Method / Finite-state machine / Rodin / Linz
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

Similar Documents

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

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 Committee

Data Exchange File Format for SIV Internal Working Draft ver. 1.2— March 10, 2006 VoiceXML Forum Speaker Biometrics Committee

DocID: 1qABS - View Document

1  Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1

1 Translating SCXML Statecharts to iUML-B State-machines Karla Morris1 and Colin Snook2 1

DocID: 1oLHZ - View Document

Sneak Preview: VoiceXML 3.0 • Slides presented at SpeechTEK August 2006  • Presenters:

Sneak Preview: VoiceXML 3.0 • Slides presented at SpeechTEK August 2006 • Presenters:

DocID: 1awOL - View Document

Microsoft PowerPoint - CallControl_JamSession.pptx

Microsoft PowerPoint - CallControl_JamSession.pptx

DocID: 18xZB - View Document