Sciweavers

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

30

JUCS
2008

favoriteEmaildiscussreport

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

13 years 10 months ago

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

Real-time Traffic

JUCS 2008 |

claim paper

Related Content

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

» Probabilistic Model Checking Modulo Theories

» Abstraction in model checking multiagent systems

» Model Checking Hybrid Multiagent Systems for the RoboCup

» Automated test generation for engineering applications

» Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

» iLTLChecker A Probabilistic Model Checker for Multiple DTMCs

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

» The Arrow of Time through the Lens of Computing

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JUCS
Authors	Anatol Slissenko, Pavel Vasilyev

Comments (0)