Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales.
Saved in:
| Title: | Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales. |
|---|---|
| Alternate Title: | Temporal Logic in the Verification of Software Models. Origin and Evolution up to current times. |
| Authors: | Garis, Ana Gabriela1 agaris@unsl.edu.ar |
| Source: | Fundamentos en Humanidades. 2010, Vol. 11 Issue 21, p151-161. 11p. |
| Database: | Academic Search Ultimate |
Be the first to leave a comment!
