Novità Aiuto Accesso istituzionale
Torna ai risultati
Scheda bibliografica · Consultazione e accesso
Document

Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles

Luna, Carlos et al · SEDICI UNLP · 2011

Testo completo ad accesso aperto
Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.
Autore / responsabile
Luna, Carlos et al
Editore
SEDICI UNLP
Anno
2011
Lingua
Español

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.
Apri testo

Riepilogo

Descripción general del contenido del recurso.

Este documento presenta resultados generados principalmente en el marco de una línea de investigación que involucra a dos proyectos de investigación: "Especificación formal y verificación de sistemas críticos", SeCyT-FCEIA, UNR (ING266), Argentina; y "STEVE: Seguridad a Través de Evidencia VErificable", proyecto PDT, DINACYT, Uruguay. Asimismo, algunas actividades de estos proyectos se enmarcaron en un proyecto de cooperación STIC-AMSUD: "ReSeCo: Reliability and Security of Distributed Software Components". El artículo describe esencial y sucintamente los trabajos realizados, las principales publicaciones obtenidas y la formación de recursos humanos en Argentina y Uruguay. Eje: Aspectos teóricos de Ciencias de la Computación Red de Universidades con Carreras en Informática

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Luna, C. E. A. (2011). Especificación y verificación formal de sistemas críticos: Análisis de modelos de seguridad para dispositivos móviles. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/20010

MLA

Luna, Carlos et al. Especificación y verificación formal de sistemas críticos: Análisis de modelos de seguridad para dispositivos móviles. SEDICI UNLP, 2011. http://sedici.unlp.edu.ar/handle/10915/20010.

Chicago

Luna, Carlos et al. 2011. Especificación y verificación formal de sistemas críticos: Análisis de modelos de seguridad para dispositivos móviles. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/20010.

Harvard

Luna, C. E. A. 2011, Especificación y verificación formal de sistemas críticos: Análisis de modelos de seguridad para dispositivos móviles, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/20010 [Accessed 7 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo
Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Autore / collaboratori
Luna, Carlos et al
Editore
SEDICI UNLP
Anno di pubblicazione
2011
Lingua
Español

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; escificación formal; Semantics; sistemas críticos; Semantics of Programming Languages; modelos de seguridad para dispositivos móviles (MIDP); asistentes de prueba (Coq)
Copiato