Robust specification of real time components

Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Standard

Robust specification of real time components. / Larsen, Kim Guldstrand; Legay, A.; Traonouez, Louis-Marie; Wasowski, Andrzej.

I: Lecture Notes in Computer Science, Vol. 6919 LNCS, 01.01.2011, s. 129-144.

Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Harvard

Larsen, KG, Legay, A, Traonouez, L-M & Wasowski, A 2011, 'Robust specification of real time components' Lecture Notes in Computer Science, vol 6919 LNCS, s. 129-144.

APA

Larsen, K. G., Legay, A., Traonouez, L-M., & Wasowski, A. (2011). Robust specification of real time components. Lecture Notes in Computer Science, 6919 LNCS, 129-144doi: 10.1007/978-3-642-24310-3_10

I: Lecture Notes in Computer Science, Vol. 6919 LNCS, 01.01.2011, s. 129-144.

Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Bibtex

@article{6471541f7f4546cc9a91ef199013ae19,

title = "Robust specification of real time components",

publisher = "Springer",

author = "Larsen, {Kim Guldstrand} and A. Legay and Louis-Marie Traonouez and Andrzej Wasowski",

year = "2011",

volume = "6919 LNCS",

pages = "129--144",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

}

RIS

TY - CONF

T1 - Robust specification of real time components

A1 - Larsen,Kim Guldstrand

A1 - Legay,A.

A1 - Traonouez,Louis-Marie

A1 - Wasowski,Andrzej

AU - Larsen,Kim Guldstrand

AU - Legay,A.

AU - Traonouez,Louis-Marie

AU - Wasowski,Andrzej

PB - Springer

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-80053323892&md5=435ebf3c62ac177f6f1dda7208e810bd

U2 - 10.1007/978-3-642-24310-3_10

DO - 10.1007/978-3-642-24310-3_10

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

VL - 6919 LNCS

SP - 129

EP - 144

ER -