Sciweavers

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

8

ISOLA
2010
Springer

favoriteEmaildiscussreport

125views Formal Methods» more ISOLA 2010»

Dependability Analysis and Verification for Connected Systems

13 years 2 months ago

Dependability Analysis and Verification for Connected Systems

Download www.prismmodelchecker.org

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma

Real-time Traffic

Formal Methods | ISOLA 2010 |

claim paper

Related Content

» Practical verification techniques for widearea routing

» Verification of Large StateEvent Systems Using Compositionality and Dependency Analysis

» Functional Dependency for Verification Reduction

» On Modelling and Analysis of Dynamic Reconfiguration of Dependable RealTime Systems

» Verification of ContextDependent ChannelBased Service Models

» Cadena An Integrated Development Analysis and Verification Environment for Componentbased ...

» Realistic WorstCase Execution Time Analysis in the Context of Pervasive System Verificatio...

» Separation of concerns for dependable software design

» Stability Analysis of RED Gateway with Multiple TCP Reno Connections

Post Info
More Details (n/a)

Added	13 Feb 2011
Updated	13 Feb 2011
Type	Journal
Year	2010
Where	ISOLA
Authors	Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu

Comments (0)