Lee más sobre Verificación dinámica de composiciones en la Internet de las Cosas usando procesamiento de eventos complejos
Lee más sobre Effectiveness and cost of verification techniques: Preeliminary conclusions on five techniques
