Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Wong, Peter Y. H. ; Bubel, Richard ; Boer, Frank S. de ; Gómez Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam | Springer Verlag | 2015-02We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature [...]
