<--- 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

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

DocID: 1sfbi - View Document

Digital electronics / Electronic engineering / Electronics / Engineering / Computer memory / Digital systems / Flip-flop / Sequential logic / Logic gate / State / Finite-state machine / Digital signal

cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

DocID: 1rqsB - View Document

Computing / Software engineering / Finite automata / Compiler construction / Parallel computing / Analysis of parallel algorithms / Speedup / VTD-XML / Concurrent data structure / Finite-state machine / Regular expression / Parsing

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

DocID: 1rjTr - View Document

Computer architecture / Computing / Software / Embedded operating systems / Finite automata / Finite-state machine / OSEK / Real-time operating system / Model checking / Kernel / Protection ring / Embedded system

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

DocID: 1riTt - View Document

Computing / Computer architecture / Software engineering / Models of computation / Computer data / Dataflow / Finite-state machine / SIGNAL / BMDFM

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

DocID: 1r6CB - View Document