Repositorio: "Unversidad Nacional de La Plata" |
Tema:"base de datos" |
Fecha:"2013" |
Fecha:"56z" |
Fecha:"2009" |
Fecha:"24z" |
Tema:"RAISE" |
Idioma:"Inglés" |
Fecha:"2012" |
Fecha:"2006" |
Ciencias Informáticas | (1) |
SOFTWARE ENGINEERING | (1) |
formal methods | (1) |
model checking | (1) |
verification techniques | (1) |
Más... |
1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|