Sciweavers

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

12

JUCS
2008

favoriteEmaildiscussreport

182views more JUCS 2008»

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

13 years 4 months ago

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

Download www.jucs.org

Martin Ouimet, Kristina Lundqvist

Real-time Traffic

JUCS 2008 |

claim paper

Related Content

» The TASM Toolset Specification Simulation and Formal Verification of RealTime Systems

» Simulator for RealTime Abstract State Machines

» A Metamodelbased Language and a Simulation Engine for Abstract State Machines

» Testable Use Cases in the Abstract State Machine Language

» Enabling SystemC Verification using Abstract State Machines

» A Process Algebra for RealTime Programs

» Abstract State Machines An Overview of the Project

» RAM Simulation of BGS Model of Abstract State Machines

» ModelDriven Architecture for Hard RealTime Systems From Platform Independent Models to Cod...

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JUCS
Authors	Martin Ouimet, Kristina Lundqvist

Comments (0)