Sciweavers

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

11

DAGSTUHL
2004

favoriteEmaildiscussreport

86views Software Engineering» more DAGSTUHL 2004»

Run-Time Verification

14 years 8 days ago

Run-Time Verification

Download www.cis.upenn.edu

Séverine Colin, Leonardo Mariani

Real-time Traffic

DAGSTUHL 2004 | DAGSTUHL 2007 |

claim paper

Related Content

» Integrating Software Testing and RunTime Checking in an Assertion Verification Framework

» Applying RunTime Monitoring to the DeepImpact Fault Protection Engine

» Keep It Small Keep It Real Efficient RunTime Verification of Web Service Compositions

» An Architecture for KernelLevel Verification of Executables at Run Time

» Enabling RunTime System Verification through BuiltIn Testing

» PSL Model Checking and RunTime Verification Via Testers

» RunTime Protocol Conformance Verification In Firewalls

» RunTime Verification of Networked Software

» TypeBased Static and Dynamic Website Verification

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	DAGSTUHL
Authors	Séverine Colin, Leonardo Mariani

Comments (0)