Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/11787

Description

Title

Efficient Formalism-Independent Monitoring of Parametric Properties

Author(s)

Chen, Feng
Meredith, Patrick O'Neil
Jin, Dongyun
Rosu, Grigore

Issue Date

2009-05-12

Keyword(s)

monitoring-oriented programming
aspect-oriented programming
runtime verification

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/11787

Owning Collections

Research and Tech Reports - Computer Science PRIMARY