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

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Medel, Ricardo et al · SEDICI UNLP · 2001

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
Medel, Ricardo et al
Editore
SEDICI UNLP
Anno
2001
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.

En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado. Eje: Teoría Red de Universidades con Carreras en Informática (RedUNCI)

Come citare

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

APA 7

Medel, R. E. A. (2001). Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538

MLA

Medel, Ricardo et al. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP, 2001. http://sedici.unlp.edu.ar/handle/10915/23538.

Chicago

Medel, Ricardo et al. 2001. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23538.

Harvard

Medel, R. E. A. 2001, Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23538 [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
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
Autore / collaboratori
Medel, Ricardo et al
Editore
SEDICI UNLP
Anno di pubblicazione
2001
Lingua
Español

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; Models; Algebras Fork; Software; Lógica Modal; sistemas especificados
Copiato