Sciweavers

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

20

EMSOFT
2008
Springer

favoriteEmaildiscussreport

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

13 years 11 months ago

State space abstraction for parameterized self-stabilizing embedded systems

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri

Real-time Traffic

EMSOFT 2008 | Software Engineering |

claim paper

Related Content

» SelfStabilizing Symmetry Breaking in Constant Space

» SelfStabilizing Mutual Exclusion Using Unfair Distributed Scheduler

» Multiobjective Optimization of a Parameterized VLIW Architecture

» Analytic realtime analysis and timed automata a hybrid method for analyzing embedded realt...

» Synthesis and optimization of coordination controllers for distributed embedded systems

» SMTbased bounded model checking for multithreaded software in embedded systems

» Abstraction of assembler programs for symbolic worst case execution time analysis

» Validating Requirements for Fault Tolerant Systems using Model Checking

» StateEventBased Software Model Checking

Post Info
More Details (n/a)

Added	19 Oct 2010
Updated	19 Oct 2010
Type	Conference
Year	2008
Where	EMSOFT
Authors	Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee

Comments (0)