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 |