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

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

6 Citations (Scopus)
234 Downloads (Pure)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6286
Pages (from-to)290-310
ISSN0302-9743
DOIs
Publication statusPublished - 2010

Cite this

@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",

}

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

In: Lecture Notes in Computer Science, Vol. 6286, 2010, p. 290-310.

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

VL - 6286

SP - 290

EP - 310

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -