Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café

En la actualidad se están implementando técnicas de diseño de máquinas de forma virtual, intentando reducir los tiempos y costos, y fortaleciendo la calidad de los productos. Para esto se utilizan herramientas de simulación en las diferentes fases del desarrollo. Una simulación integrada del sistema...