Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar registro sencillo

dc.date.accessioned 2012-09-26T11:32:59Z
dc.date.available 2012-09-26T11:32:59Z
dc.date.issued 2003
dc.identifier.uri http://hdl.handle.net/10915/21489
dc.description.abstract Translating RSL into PVS has been a way of obtaining a proof tool for RSL. However there are several styles or constructs of RSL that are harder to translate than others. One of them is concurrent RSL since PVS has no similar construct. We propose to study the problems involved in translating Concurrent RSL into PVS. en
dc.format.extent p. 118-119 es
dc.language en es
dc.title Translating concurrent RSL into PVS en
dc.type Objeto de conferencia es
sedici.creator.person Dasso, Aristides es
sedici.creator.person Funes, Ana es
sedici.creator.person Montejano, Germán Antonio es
sedici.creator.person Riesco, Daniel Eduardo es
sedici.creator.person Uzal, Roberto es
sedici.description.note Eje: Ingeniería de Software es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword Translating concurrent en
sedici.subject.keyword RSL es
sedici.subject.keyword PVS es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2003-05 es
sedici.relation.event V Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es
sedici.subject.acmcss98 SOFTWARE ENGINEERING es


Descargar archivos

Este ítem aparece en las siguientes colecciones:

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)