Sciweavers

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

9

SCP
2008

favoriteEmaildiscussreport

64views more SCP 2008»

Design and verification of long-running transactions in a timed framework

13 years 4 months ago

Design and verification of long-running transactions in a timed framework

Download www.di.unipi.it

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo

Real-time Traffic

SCP 2008 |

claim paper

Related Content

» Modeling LongRunning Transactions with Communicating Hierarchical Timed Automata

» A Trace Semantics for LongRunning Transactions

» Timed Petri Nets as a Verification Tool

» Verification of the SIP Transaction Using Coloured Petri Nets

» A System Design Methodology for Reducing System Integration Time and Facilitating Modular ...

» ServicesOriented Dynamic Reconfiguration Framework for Dependable Distributed Computing

» CONFIDANT Collaborative Object Notification Framework for Insider Defense using Autonomous...

» A System for Specifying and Coordinating the Execution of Reliable Distributed Application...

» An MPSoC Performance Estimation Framework Using Transaction Level Modeling

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2008
Where	SCP
Authors	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Comments (0)