Sciweavers

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

9

COOPIS
2002
IEEE

favoriteEmaildiscussreport

108views Information Technology» more COOPIS 2002»

On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction

13 years 9 months ago

On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction

Download d3s.mff.cuni.cz

Andrés Farías, Mario Südholt

Real-time Traffic

COOPIS 2002 | Information System |

claim paper

Related Content

» Towards correct evolution of components using VPAbased aspects

» PropertyPreserving Evolution of Components Using VPABased Aspects

» A Model of Components with Nonregular Protocols

» ValueBased Sequential Consistency for Set Objects in Dynamic Distributed Systems

» AlmostEverywhere Secure Computation

Post Info
More Details (n/a)

Added	14 Jul 2010
Updated	14 Jul 2010
Type	Conference
Year	2002
Where	COOPIS
Authors	Andrés Farías, Mario Südholt

Comments (0)