Sciweavers

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

9

ICSE
2005
IEEE-ACM

favoriteEmaildiscussreport

139views Software Engineering» more ICSE 2005»

A case study on the automated verification of groupware protocols

14 years 4 months ago

A case study on the automated verification of groupware protocols

Download fmt.isti.cnr.it

Maurice H. ter Beek, Mieke Massink, Diego Latella,

Real-time Traffic

Groupware Protocols | ICSE 2005 | Software Engineering |

claim paper

Related Content

» Model Checking Groupware Protocols

» Automated Game Analysis via Probabilistic Model Checking a case study

» Towards automated verification of autonomous networks A case study in selfconfiguration

» Verification of the Futurebus Cache Coherence protocol A case study in model checking

» Practical Considerations in Protocol Verification The E2C Case Study

» SPIN vs VIS A Case Study on the Formal Verification of the ATMR Protocol

» Formal verification of standards for distance vector routing protocols

» The Rigorous Implementation of a Fair Exchange Protocol for Nonrepudiable Web Service Inte...

» A case study in pathway knowledgebase verification

Post Info
More Details (n/a)

Added	09 Dec 2009
Updated	09 Dec 2009
Type	Conference
Year	2005
Where	ICSE
Authors	Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis

Comments (0)