Sciweavers

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

27

ICFEM
2009
Springer

favoriteEmaildiscussreport

83views Software Engineering» more ICFEM 2009»

A Verification System for Distributed Objects with Asynchronous Method Calls

13 years 9 months ago

A Verification System for Distributed Objects with Asynchronous Method Calls

Download www.mpi-inf.mpg.de

Wolfgang Ahrendt, Maximilian Dylla

Real-time Traffic

ICFEM 2009 | Software Engineering |

claim paper

Related Content

» Backwards type analysis of asynchronous method calls

» Inheritance in the Presence of Asynchronous Method Calls

» Observable Behavior of Dynamic Systems Component Reasoning for Concurrent Objects

» Dynamic Classes Modular Asynchronous Evolution of Distributed Concurrent Objects

» A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objec...

» Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems

» Formal Modelling and Verification of an Asynchronous Extension of SOAP

» Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

» On Decentralized Proactive Resource Allocation in Asynchronous RealTime Distributed System...

Post Info
More Details (n/a)

Added	19 Feb 2011
Updated	19 Feb 2011
Type	Journal
Year	2009
Where	ICFEM
Authors	Wolfgang Ahrendt, Maximilian Dylla

Comments (0)