OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: RAISE Repository: 37 Year: 2012 Year: 2006

Sort by Score Title Year -

1-2 from 2 results (0.01 seconds)

Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Especificación formal de desarrollo de un sistema de firma digital
Author: Daniele, Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / RAISE / Formal Languages / firma electrónica / criptografía / RSL

Acceder

« Previous 1 Next »