Similar context phrases
Translation examples
Such projects were also conducted in the specification and development of reactive systems. The projects addressed reactive systems using general-duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi.
Con arreglo a esos proyectos también se abordaron los sistemas reactivos en que se emplean cálculos de duración generales y se investigaron otras teorías de los sistemas reactivos como la verificación composicional y los cálculos de refinamiento.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test