Éditeur IEEE Comp Soc
Documentos disponibles de esta editorial (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
In this paper we extend our previous work on passive testing of timed systems to establish a formal criterion to determine correctness of an implementation under test. In our framework, an invariant expresses the fact that if the implementation [...]
