None
(Ref. HUM-840)
05
julio
2025
julio 2025
| L | M | X | J | V | S | D |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 |
Producción científica
VOLVER AL LISTADODetalles del artículo
| Publicación | |
|---|---|
| Título: | APPLYING FORMAL VERIFICATION TECHNIQUES TO AMBIENT ASSISTED LIVING SYSTEMS |
| Título de la revista: | LECTURE NOTES IN COMPUTER SCIENCE |
| Tipo de aportación: | ARTICULO |
| Número de volumen: | 5842 |
| Páginas de la publicación: | 381 - 390 |
| Año de la publicación: | 2009 |
| ISSN: | 0302-9743 |
| Enlace a la publicación: | http://www.springerlink.com/content/6547213275u04n78/ |
| Autores: |
KAWTAR BENGHAZI AKHLAKI MARIA VISITACION HURTADO TORRES SANTIAGO REAL MARTINEZ MANUEL NOGUERA GARCÍA |
[Decargar BibTex]