Nueva solución en síntesis de controladores
2018-11-27T11:09:53-03:00Investigadores del DC desarrollaron una técnica innovadora para construir automáticamente componentes de software. Investigadores del DC lograron caracterizar los modelos de interacción en entornos no deterministas con observabilidad parcial y desarrollaron una técnica de síntesis de controladores que permitiría construir automáticamente componentes de software para ejecutar en esa clase [...]










