Search Sciweavers | Sciweavers

1463 search results - page 32 / 293

» Model Checking Implicit-Invocation Systems

138

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 8 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

125

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 6 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

101

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 6 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

111

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 5 months ago

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

103

click to vote

SOMET
2007

99views Software Engineering» more SOMET 2007»

Model Checking Communicative Agent-Based Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers