Search Sciweavers | Sciweavers

5863 search results - page 31 / 1173

» On Model-Checking of P Systems

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

14 years 1 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

14 years 1 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

13 years 12 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

13 years 11 months ago

Download www.cs.utexas.edu

Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...

claim paper

Read More »

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers