Robust specification of real time components

Kim Guldstrand Larsen, A. Legay, Louis-Marie Traonouez, Andrzej Wasowski

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

13 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6919 LNCS
Sider (fra-til)129-144
Antal sider16
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed9th International Conference on Formal Modeling and Analysis of Timed Systems - Aalborg , Danmark
Varighed: 21 sep. 201123 sep. 2011

Konference

Konference9th International Conference on Formal Modeling and Analysis of Timed Systems
LandDanmark
ByAalborg
Periode21/09/201123/09/2011

Fingerprint

Specification
Specifications
Robustness
Parallel Composition
Timed Automata
Operator
Real time systems
Small Perturbations
Design Process
Interfaces (computer)
Timing
Refinement
Entire
Game
Real-time
Chemical analysis
Model

Citer dette

Larsen, Kim Guldstrand ; Legay, A. ; Traonouez, Louis-Marie ; Wasowski, Andrzej. / Robust specification of real time components. I: Lecture Notes in Computer Science. 2011 ; Bind 6919 LNCS. s. 129-144.
@inproceedings{6471541f7f4546cc9a91ef199013ae19,
title = "Robust specification of real time components",
author = "Larsen, {Kim Guldstrand} and A. Legay and Louis-Marie Traonouez and Andrzej Wasowski",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-24310-3_10",
language = "English",
volume = "6919 LNCS",
pages = "129--144",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Robust specification of real time components

AU - Larsen, Kim Guldstrand

AU - Legay, A.

AU - Traonouez, Louis-Marie

AU - Wasowski, Andrzej

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80053323892&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=80053323892&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80053323892&partnerID=8YFLogxK

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

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

M3 - Conference article in Journal

AN - SCOPUS:80053323892

VL - 6919 LNCS

SP - 129

EP - 144

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -