Formal Modeling of Real-Time Systems with Data Processing

No obstante, en este nuevo marco también se mantienen aspectos de los legislados por algunas de las leyes referidas anteriormente, como algunas de las áreas de formación o