A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan; Jüri Vain; Martin Koskinen; Junaid Iqbal

doi:10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Toimittajat	A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
Kustantaja	Springer
Sivut	349–364
ISBN (elektroninen)	978-3-319-25579-8
ISBN (painettu)	978-3-319-25578-1
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-25579-8
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Pääsy asiakirjaan

10.1007/978-3-319-25579-8

N4S: Need for Speed
Porres Paltor, I. (Vastuullinen tutkija), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)
01/01/14 → 31/12/16
Projekti: Industry/Business Finland
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Vastuullinen tutkija), Ahmad, T. (CoI), Iqbal, J. (Vastuullinen tutkija), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekti: Industry/Business Finland

Viittausmuodot

Truscan, D., Vain, J., Koskinen, M., & Iqbal, J. (2015). A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. teoksessa A. Holzinger, J. Cardoso, J. Cordeiro, T. Libourel, L. Maciaszek, & M. Sinderen (Toimittajat), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (Sivut 349–364). Springer. https://doi.org/10.1007/978-3-319-25579-8

Truscan, Dragos ; Vain, Jüri ; Koskinen, Martin et al. / A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Toimittaja / A Holzinger ; J Cardoso ; J Cordeiro ; T Libourel ; L Maciaszek ; M Sinderen. Springer, 2015. Sivut 349–364

@inbook{667f93f0e5b94b49bf65190510cd5b49,

title = "A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata",

author = "Dragos Truscan and J{\"u}ri Vain and Martin Koskinen and Junaid Iqbal",

year = "2015",

doi = "10.1007/978-3-319-25579-8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-25578-1",

pages = "349–364",

editor = "A Holzinger and J Cardoso and J Cordeiro and T Libourel and L Maciaszek and M Sinderen",

booktitle = "Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers",

publisher = "Springer",

}

Truscan, D, Vain, J, Koskinen, M & Iqbal, J 2015, A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. julkaisussa A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek & M Sinderen (toim), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer, Sivut 349–364. https://doi.org/10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. / Truscan, Dragos; Vain, Jüri; Koskinen, Martin et al.
Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. toim. / A Holzinger; J Cardoso; J Cordeiro; T Libourel; L Maciaszek; M Sinderen. Springer, 2015. s. 349–364.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

TY - CHAP

T1 - A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

AU - Truscan, Dragos

AU - Vain, Jüri

AU - Koskinen, Martin

AU - Iqbal, Junaid

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-25579-8

DO - 10.1007/978-3-319-25579-8

M3 - Kapitel

SN - 978-3-319-25578-1

SP - 349

EP - 364

BT - Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

A2 - Holzinger, A

A2 - Cardoso, J

A2 - Cordeiro, J

A2 - Libourel, T

A2 - Maciaszek, L

A2 - Sinderen, M

PB - Springer

ER -

Truscan D, Vain J, Koskinen M, Iqbal J. A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. julkaisussa Holzinger A, Cardoso J, Cordeiro J, Libourel T, Maciaszek L, Sinderen M, toimittajat, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer. 2015. s. 349–364 doi: 10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Pääsy asiakirjaan

Projektit

N4S: Need for Speed

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Viittausmuodot