Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS

DSpace Repository

A- A A+

Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS

Show simple item record

dc.contributor.author Martins, Ricardo Ferreira en
dc.date.accessioned 2013-12-09T17:57:40Z
dc.date.available 2013-12-09T17:57:40Z
dc.date.issued 1996
dc.date.submitted 1996 en
dc.identifier.other 103500 en
dc.identifier.uri https://repositorio.ufsc.br/handle/123456789/111574
dc.format.extent 122 p. en
dc.title Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS en
dc.type Dissertação (Mestrado) en


Files in this item

Files Size Format View
103500.pdf 3.999Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics

Compartilhar