Compositional testing of real-time systems

Kim G. Larsen*, Axel Legay, Marius Mikučionis, Brian Nielsen, Ulrik Nyman

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Original languageEnglish
Title of host publicationModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Number of pages18
Volume10500 LNCS
PublisherSpringer
Publication date1 Jan 2017
Pages107-124
ISBN (Print)9783319682693
DOIs
Publication statusPublished - 1 Jan 2017
EventSymposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017 - Enschede, Netherlands
Duration: 18 Oct 201718 Oct 2017

Conference

ConferenceSymposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017
CountryNetherlands
CityEnschede
Period18/10/201718/10/2017
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10500 LNCS
ISSN0302-9743

Fingerprint

Real time systems
Testing

Cite this

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B., & Nyman, U. (2017). Compositional testing of real-time systems. In ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Vol. 10500 LNCS, pp. 107-124). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 10500 LNCS https://doi.org/10.1007/978-3-319-68270-9_6
Larsen, Kim G. ; Legay, Axel ; Mikučionis, Marius ; Nielsen, Brian ; Nyman, Ulrik. / Compositional testing of real-time systems. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Vol. 10500 LNCS Springer, 2017. pp. 107-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).
@inproceedings{0e8fd8e5118c4f9baede1fa2ae974941,
title = "Compositional testing of real-time systems",
author = "Larsen, {Kim G.} and Axel Legay and Marius Mikučionis and Brian Nielsen and Ulrik Nyman",
year = "2017",
month = "1",
day = "1",
doi = "10.1007/978-3-319-68270-9_6",
language = "English",
isbn = "9783319682693",
volume = "10500 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "107--124",
booktitle = "ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday",
address = "Germany",

}

Larsen, KG, Legay, A, Mikučionis, M, Nielsen, B & Nyman, U 2017, Compositional testing of real-time systems. in ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. vol. 10500 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10500 LNCS, pp. 107-124, Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017, Enschede, Netherlands, 18/10/2017. https://doi.org/10.1007/978-3-319-68270-9_6

Compositional testing of real-time systems. / Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Nielsen, Brian; Nyman, Ulrik.

ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Vol. 10500 LNCS Springer, 2017. p. 107-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Compositional testing of real-time systems

AU - Larsen, Kim G.

AU - Legay, Axel

AU - Mikučionis, Marius

AU - Nielsen, Brian

AU - Nyman, Ulrik

PY - 2017/1/1

Y1 - 2017/1/1

U2 - 10.1007/978-3-319-68270-9_6

DO - 10.1007/978-3-319-68270-9_6

M3 - Article in proceeding

SN - 9783319682693

VL - 10500 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 107

EP - 124

BT - ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

PB - Springer

ER -

Larsen KG, Legay A, Mikučionis M, Nielsen B, Nyman U. Compositional testing of real-time systems. In ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Vol. 10500 LNCS. Springer. 2017. p. 107-124. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS). https://doi.org/10.1007/978-3-319-68270-9_6