Métodos formales para verificar los nuevos desarrollos en sistemas de transporte

The rapid development of modern cyber-physical systems and the increasing complexity of its design and analysis requires new technologies to make the process of verification and integration. Because of the mathematical basis that supports them and the steady increase in the effectiveness of its proc...