Latencia y fiabilidad de aplicaciones críticas sobre redes móviles 5G y posteriores Morse Las comunicaciones de baja latencia y alta fiabilidad sobre redes móviles, como las que se requieren en áreas como Internet…
Técnicas automáticas para el análisis y mejora de la fiabilidad y del rendimiento de software crítico y complejo Morse La construcción software crítico y complejo puede beneficiarse del uso de técnicas formales que proporcionan lenguajes y herramientas para su…