An extension of TRIANGLE testbed with model-based testing

TitleAn extension of TRIANGLE testbed with model-based testing
Publication TypeConference Paper
Year of Publication2018
AuthorsPanizo L, Díaz A, García B
Conference Name25th International Symposium on Model checking Software, SPIN2018
Date Published06/2018
PublisherSpringer Verlag
Conference LocationMálaga, Spain
ISBN Number978-3-319-94110-3
DOI10.1007/978-3-319-94111-0_11