Sciweavers

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

133

Voted

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

16 years 14 days ago

Static Analysis of Dynamic Communication Systems by Partner Abstraction

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

Real-time Traffic

Formal Methods | SAS 2007 |

claim paper

Related Content

» A Static Analysis for BetaBinders

» SystemCBased Communication and Performance Analysis

» Static analysis of topologydependent broadcast networks

» Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

» Static Analysis of TransactionLevel Communication Models

» Exercises in Nonstandard Static Analysis of Hybrid Systems

» On Constructing a Communicative Space in HRI

» Decomposition of Overlapping Protein Complexes A Graph Theoretical Method for Analyzing St...

» Static extraction of sound hierarchical runtime object graphs

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	SAS
Authors	Jörg Bauer, Reinhard Wilhelm

Comments (0)