Una técnica para una especificación inicial en RSL
Tesis
Acceso abierto
Tesis
SEDICI UNLP
Los métodos formales se están usando actualmente para la construcción de sistemas reales, ya que contribuyen a aumentar la calidad y confiabilidad del software. Sin embargo, generalmente sólo son accesibles a especia...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access