Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

6 Citationer (Scopus)

518 Downloads (Pure)

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6286
Sider (fra-til)	290-310
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-17071-3_15
Status	Udgivet - 2010

Adgang til dokumentet

@inproceedings{e86f733327b648ed88f64046b1578b8f,

title = "Methodologies for Specification of Real-Time Systems Using Timed I/O Automata",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Ulrik Nyman and Andrzej Wasowski",

year = "2010",

doi = "10.1007/978-3-642-17071-3_15",

language = "English",

volume = "6286",

pages = "290--310",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-17071-3_15

DO - 10.1007/978-3-642-17071-3_15

M3 - Conference article in Journal

SN - 0302-9743

VL - 6286

SP - 290

EP - 310

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -