The LIME Interface Specification Language and Runtime Monitoring Tool

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationRuntime Verification
Subtitle of host publication9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
EditorsSaddek Bensalem, Doron Peled
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Runtime Verification - Grenoble, France
Duration: 26 Jun 200928 Jun 2009
Conference number: 9

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume5779
ISSN (Print)0302-9743

Workshop

WorkshopInternational Workshop on Runtime Verification
Abbreviated titleRV
CountryFrance
CityGrenoble
Period26/06/200928/06/2009

ID: 3719457