Sciweavers

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

53

FORMATS
2006
Springer

favoriteEmaildiscussreport

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 1 months ago

Simulator for Real-Time Abstract State Machines

Download www.math.spbu.ru

Pavel Vasilyev

Real-time Traffic

Formal Methods | FORMATS 2006 |

claim paper

Related Content

» The Timed Abstract State Machine Language Abstract State Machines for RealTime System Engi...

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

» A State Machine for RealTime Cutting of Tetrahedral Meshes

» Modeling Decentralized RealTime Control by State Space Partition of Timed Automata

» Authentic Emotion Detection in RealTime Video

» RAM Simulation of BGS Model of Abstract State Machines

» Simulation of Timed Abstract State Machines with Predicate Logic ModelChecking

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

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

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FORMATS
Authors	Pavel Vasilyev

Comments (0)