The LIME Interface Specification Language and Runtime Monitoring Tool

Kari Kähkönen; Jani Lampinen; Keijo Heljanko; Ilkka Niemelä

doi:10.1007/978-3-642-04694-0_7

The LIME Interface Specification Language and Runtime Monitoring Tool

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

12 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Runtime Verification
Alaotsikko	9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Toimittajat	Saddek Bensalem, Doron Peled
Kustantaja	Springer
Sivut	93-100
ISBN (elektroninen)	978-3-642-04694-0
ISBN (painettu)	978-3-642-04693-3
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-04694-0_7
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Runtime Verification - Grenoble, Ranska Kesto: 26 kesäk. 2009 → 28 kesäk. 2009 Konferenssinumero: 9

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	5779
ISSN (painettu)	0302-9743

Workshop

Workshop	International Workshop on Runtime Verification
Lyhennettä	RV
Maa/Alue	Ranska
Kaupunki	Grenoble
Ajanjakso	26/06/2009 → 28/06/2009

Pääsy asiakirjaan

10.1007/978-3-642-04694-0_7

OpenUrl-saatavuus

Koko teksti

Siteeraa tätä

Kähkönen, K., Lampinen, J., Heljanko, K., & Niemelä, I. (2009). The LIME Interface Specification Language and Runtime Monitoring Tool. teoksessa S. Bensalem, & D. Peled (Toimittajat), Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers (Sivut 93-100). (Lecture Notes in Computer Science ; Vuosikerta 5779). Springer. https://doi.org/10.1007/978-3-642-04694-0_7

@inproceedings{ed5bda5304fe48d483056b55d321a295,

title = "The LIME Interface Specification Language and Runtime Monitoring Tool",

author = "Kari K{\"a}hk{\"o}nen and Jani Lampinen and Keijo Heljanko and Ilkka Niemel{\"a}",

year = "2009",

doi = "10.1007/978-3-642-04694-0_7",

language = "English",

isbn = "978-3-642-04693-3",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "93--100",

editor = "Saddek Bensalem and Doron Peled",

booktitle = "Runtime Verification",

address = "Germany",

note = "International Workshop on Runtime Verification, RV ; Conference date: 26-06-2009 Through 28-06-2009",

}

Kähkönen, K, Lampinen, J, Heljanko, K & Niemelä, I 2009, The LIME Interface Specification Language and Runtime Monitoring Tool. julkaisussa S Bensalem & D Peled (toim), Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Lecture Notes in Computer Science , Vuosikerta 5779, Springer, Sivut 93-100, International Workshop on Runtime Verification, Grenoble, Ranska, 26/06/2009. https://doi.org/10.1007/978-3-642-04694-0_7

The LIME Interface Specification Language and Runtime Monitoring Tool. / Kähkönen, Kari; Lampinen, Jani; Heljanko, Keijo et al.
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. toim. / Saddek Bensalem; Doron Peled. Springer, 2009. s. 93-100 (Lecture Notes in Computer Science ; Vuosikerta 5779).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

TY - GEN

T1 - The LIME Interface Specification Language and Runtime Monitoring Tool

AU - Kähkönen, Kari

AU - Lampinen, Jani

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

N1 - Conference code: 9

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04694-0_7

DO - 10.1007/978-3-642-04694-0_7

M3 - Conference contribution

SN - 978-3-642-04693-3

T3 - Lecture Notes in Computer Science

SP - 93

EP - 100

BT - Runtime Verification

A2 - Bensalem, Saddek

A2 - Peled, Doron

PB - Springer

T2 - International Workshop on Runtime Verification

Y2 - 26 June 2009 through 28 June 2009

ER -

Kähkönen K, Lampinen J, Heljanko K, Niemelä I. The LIME Interface Specification Language and Runtime Monitoring Tool. julkaisussa Bensalem S, Peled D, toimittajat, Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Springer. 2009. s. 93-100. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-642-04694-0_7