Behavioural modelling and verification of real-time software product lines

M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

23 Citationer (Scopus)
OriginalsprogEngelsk
TitelSPLC '12 Proceedings of the 16th International Software Product Line Conference
Antal sider10
Vol/bind1
ForlagAssociation for Computing Machinery
Publikationsdato1 jan. 2012
Sider66-75
ISBN (Trykt)978-145031095-6, 978-1-4503-1094-9
DOI
StatusUdgivet - 1 jan. 2012
Begivenhed16th International Software Product Line Conference - Salvador, Brasilien
Varighed: 2 sep. 20127 sep. 2012
Konferencens nummer: 16

Konference

Konference16th International Software Product Line Conference
Nummer16
LandBrasilien
BySalvador
Periode02/09/201207/09/2012
NavnACM International Conference Proceeding Series (ICPS)

Fingerprint

Model checking
Formal methods
Software engineering

Citer dette

Cordy, M., Schobbens, P-Y., Heymans, P., & Legay, A. (2012). Behavioural modelling and verification of real-time software product lines. I SPLC '12 Proceedings of the 16th International Software Product Line Conference (Bind 1, s. 66-75). Association for Computing Machinery. ACM International Conference Proceeding Series (ICPS) https://doi.org/10.1145/2362536.2362549
Cordy, M. ; Schobbens, P.-Y. ; Heymans, P. ; Legay, A. / Behavioural modelling and verification of real-time software product lines. SPLC '12 Proceedings of the 16th International Software Product Line Conference. Bind 1 Association for Computing Machinery, 2012. s. 66-75 (ACM International Conference Proceeding Series (ICPS)).
@inproceedings{81ea3f7966424b76aaf4c6d1fc33f05f,
title = "Behavioural modelling and verification of real-time software product lines",
author = "M. Cordy and P.-Y. Schobbens and P. Heymans and A. Legay",
year = "2012",
month = "1",
day = "1",
doi = "10.1145/2362536.2362549",
language = "English",
isbn = "978-145031095-6",
volume = "1",
series = "ACM International Conference Proceeding Series (ICPS)",
publisher = "Association for Computing Machinery",
pages = "66--75",
booktitle = "SPLC '12 Proceedings of the 16th International Software Product Line Conference",
address = "United States",

}

Cordy, M, Schobbens, P-Y, Heymans, P & Legay, A 2012, Behavioural modelling and verification of real-time software product lines. i SPLC '12 Proceedings of the 16th International Software Product Line Conference. bind 1, Association for Computing Machinery, ACM International Conference Proceeding Series (ICPS), s. 66-75, 16th International Software Product Line Conference, Salvador, Brasilien, 02/09/2012. https://doi.org/10.1145/2362536.2362549

Behavioural modelling and verification of real-time software product lines. / Cordy, M.; Schobbens, P.-Y.; Heymans, P.; Legay, A.

SPLC '12 Proceedings of the 16th International Software Product Line Conference. Bind 1 Association for Computing Machinery, 2012. s. 66-75 (ACM International Conference Proceeding Series (ICPS)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Behavioural modelling and verification of real-time software product lines

AU - Cordy, M.

AU - Schobbens, P.-Y.

AU - Heymans, P.

AU - Legay, A.

PY - 2012/1/1

Y1 - 2012/1/1

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

U2 - 10.1145/2362536.2362549

DO - 10.1145/2362536.2362549

M3 - Article in proceeding

AN - SCOPUS:84867484666

SN - 978-145031095-6

SN - 978-1-4503-1094-9

VL - 1

T3 - ACM International Conference Proceeding Series (ICPS)

SP - 66

EP - 75

BT - SPLC '12 Proceedings of the 16th International Software Product Line Conference

PB - Association for Computing Machinery

ER -

Cordy M, Schobbens P-Y, Heymans P, Legay A. Behavioural modelling and verification of real-time software product lines. I SPLC '12 Proceedings of the 16th International Software Product Line Conference. Bind 1. Association for Computing Machinery. 2012. s. 66-75. (ACM International Conference Proceeding Series (ICPS)). https://doi.org/10.1145/2362536.2362549