Sciweavers

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

7

ENTCS
2007

favoriteEmaildiscussreport

73views more ENTCS 2007»

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

13 years 4 months ago

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

Download www.ic.uff.br

Carlos Bazílio, Edward Hermann Haeusler, Ma

Real-time Traffic

ENTCS 2007 |

claim paper

Related Content

» Modeling and analyzing security protocols in SAM A case study

» A Lightweight Formal Analysis of a Multicast Key Management Scheme

» Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

» Stochastic Analysis of Graph Transformation Systems A Case Study in P2P Networks

» A Simulation Methodology for WorstCase Response Time Estimation of Distributed RealTime Sy...

» Verifying Trustworthiness Requirements in Distributed Systems with Formal Logfile Analysis

» A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedd...

» An Architectural Approach to Mobility The Handover Case Study

» On Analysis of Design Component Contracts A Case Study

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Carlos Bazílio, Edward Hermann Haeusler, Markus Endler

Comments (0)