Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

72

Voted

ICEIS
2008
IEEE

66views Information Technology» more ICEIS 2008»

Semantics and Refinement of Behavior State Machines

15 years 9 months ago

Semantics and Refinement of Behavior State Machines

Download www.dcs.kcl.ac.uk

Kevin Lano, David Clark

Real-time Traffic

ICEIS 2008 | Information Systems |

claim paper

Related Content

» Modular Refinement of Hierarchic Reactive Machines

» Refining Mobile UML State Machines

» 29 New Unclarities in the Semantics of UML 20 State Machines

» A Mechanized Refinement Framework for Analysis of Custom Memories

» Compositional specification of behavioral semantics

» An effective theory of type refinements

» Programming rich interactions using the hierarchical state machine toolkit

» An Operatorbased Approach to Incremental Development of Conform Protocol State Machines

» Compositional Operational Semantics of a UMLKernelModel Language

Post Info
More Details (n/a)

Added	30 May 2010
Updated	30 May 2010
Type	Conference
Year	2008
Where	ICEIS
Authors	Kevin Lano, David Clark

Comments (0)