Close

1. Identity statement
Reference TypeReport
Sitemtc-m21c.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34R/42QRRBP
Repositorysid.inpe.br/mtc-m21c/2020/07.08.19.47
Last Update2020:07.08.19.47.53 (UTC) simone
Metadata Repositorysid.inpe.br/mtc-m21c/2020/07.08.19.47.53
Metadata Last Update2022:09.14.20.07.14 (UTC) administrator
Citation KeyErasVija:2014:DiUMVe
TitleDiagramas UML na verificação formal de software
Year2014
Access Date2024, June 14
TypeRDP
Number of Pages9
Number of Files1
Size181 KiB
2. Context
Author1 Eras, Eduardo Rohde
2 Vijaykumar, Nandamudi Lankalapalli
Resume Identifier1
2 8JMKD3MGP5W/3C9JHTU
Group1
2 LAC-CTE-INPE-MCTI-GOV-BR
Affiliation1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 eduardorohdeeras@gmail.com
2 vijay.nl@inpe.br
InstitutionInstituto Nacional de Pesquisas Espaciais
CitySão José dos Campos
History (UTC)2020-07-08 19:47:53 :: simone -> administrator ::
2022-09-14 20:07:14 :: administrator -> simone :: 2014
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
KeywordsUML
software
AreaCOMP
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagramas UML na...
Arrangement 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 08/07/2020 16:47 1.7 KiB 
4. Conditions of access and use
data URLhttp://mtc-m21c.sid.inpe.br/ibi/8JMKD3MGP3W34R/42QRRBP
zipped data URLhttp://mtc-m21c.sid.inpe.br/zip/8JMKD3MGP3W34R/42QRRBP
Target FileEduardo Rohde Eras.pdf
User Groupsimone
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Mirror Repositoryurlib.net/www/2017/11.22.19.04.03
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8PH
Citing Item Listsid.inpe.br/mtc-m16c/2022/07.08.19.46 3
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 2
sid.inpe.br/bibdigital/2013/09.22.23.14 1
DisseminationBNDEPOSITOLEGAL
Host Collectionurlib.net/www/2017/11.22.19.04
6. Notes
NotesBolsa PIBIC/INPE/CNPq
Empty Fieldsabstract archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label language lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
7. Description control
e-Mail (login)simone
update 


Close