Sciweavers

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

10

TASE
2007
IEEE

favoriteEmaildiscussreport

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

13 years 10 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

Real-time Traffic

Software Engineering | TASE 2007 |

claim paper

Related Content

» Distributed Verification of Multithreaded C Programs

» State space exploration using feedback constraint generation and MonteCarlo sampling

» Distributed State Space Generation of DiscreteState Stochastic Models

» Efficient state space exploration Interleaving stateless and statebased model checking

» An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches

» Adaptive methods for sequential importance sampling with application to state space models

» Optimizing stream programs using linear state space analysis

» FaultTolerance Verification of the Fluids and Combustion Facility of the International Spa...

» Approximate state estimation in multiagent settings with continuous or large discrete stat...

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	TASE
Authors	Viliam Holub, Petr Tuma

Comments (0)