Files in this item

FilesDescriptionFormat

application/pdf

application/pdfchen-meredith-jin-rosu-2009-tr.pdf (3MB)
(no description provided)PDF

Description

Title:Efficient Formalism-Independent Monitoring of Parametric Properties
Author(s):Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore
Subject(s):monitoring-oriented programming
aspect-oriented programming
runtime verification
Issue Date:2009-05-12
Genre:Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/11787
Publication Status:published or submitted for publication
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2009-05-13


This item appears in the following Collection(s)

Item Statistics