Sciweavers

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

94

Voted

DEBS
2007
ACM

92views Distributed And Parallel Com...» more DEBS 2007»

Seamless formal verification of complex event processing applications

15 years 7 months ago

Seamless formal verification of complex event processing applications

Download www.ics.uci.edu

AnnMarie Ericsson, Paul Pettersson, Mikael Berndts

Real-time Traffic

DEBS 2007 | Distributed And Parallel Computing |

claim paper

Related Content

» The Role of Visual Tools in a Web Application Design and Verification Framework A Visual N...

» A Practical Method for Verifying EventDriven Software

» On the complexity of privacypreserving complex event processing

» Verifying Properties of Timed Event Driven Process Chains by Transformation to Hybrid Auto...

» Achieving Semantic Interoperability By Using Complex Event Processing Technology

» Towards Formal Verification of Web Service Composition

» Bridging Physical and Virtual Worlds Complex Event Processing for RFID Data Streams

» Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Mid...

» A Formal CSP Framework for MessagePassing HPC Programming

Post Info
More Details (n/a)

Added	14 Aug 2010
Updated	14 Aug 2010
Type	Conference
Year	2007
Where	DEBS
Authors	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö

Comments (0)