Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)