Cuezva Herrero, Judit(Universitat Politècnica de València, 2015-07-22)
[ES] Desarrollo de la automatización de un proceso distribuido, formado por varios subprocesos controlados cada uno por autómatas distintos, en los que se debe implementar diversos modos de funcionamiento con coordinación ...
Cuezva Herrero, Judit(Universitat Politècnica de València, 2020-05-13)
[ES] La verificación del correcto funcionamiento de un sistema tiende a sufrir de "explosión combinatoria", debido a la gran cantidad de entradas y combinaciones a verificar. En particular cuando se realiza la prueba ...