An extension of TRIANGLE testbed with model-based testing

Wed, 07/18/2018 - 14:25

Title	An extension of TRIANGLE testbed with model-based testing
Publication Type	Conference Paper
Year of Publication	2018
Authors	Panizo L, Díaz-Zayas A, García B
Conference Name	25th International Symposium on Model checking Software, SPIN2018
Date Published	06/2018
Publisher	Springer Verlag
Conference Location	Málaga, Spain
ISBN Number	978-3-319-94110-3
DOI	10.1007/978-3-319-94111-0_11