1. Identity statement | |
Reference Type | Report |
Site | mtc-m21c.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34R/42QRRBP |
Repository | sid.inpe.br/mtc-m21c/2020/07.08.19.47 |
Last Update | 2020:07.08.19.47.53 (UTC) simone |
Metadata Repository | sid.inpe.br/mtc-m21c/2020/07.08.19.47.53 |
Metadata Last Update | 2022:09.14.20.07.14 (UTC) administrator |
Citation Key | ErasVija:2014:DiUMVe |
Title | Diagramas UML na verificação formal de software |
Year | 2014 |
Access Date | 2024, July 26 |
Type | RDP |
Number of Pages | 9 |
Number of Files | 1 |
Size | 181 KiB |
|
2. Context | |
Author | 1 Eras, Eduardo Rohde 2 Vijaykumar, Nandamudi Lankalapalli |
Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHTU |
Group | 1 2 LAC-CTE-INPE-MCTI-GOV-BR |
Affiliation | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 eduardorohdeeras@gmail.com 2 vijay.nl@inpe.br |
Institution | Instituto Nacional de Pesquisas Espaciais |
City | Sã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 Stage | completed |
Transferable | 1 |
Keywords | UML software |
Area | COMP |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagramas UML na... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
data URL | http://mtc-m21c.sid.inpe.br/ibi/8JMKD3MGP3W34R/42QRRBP |
zipped data URL | http://mtc-m21c.sid.inpe.br/zip/8JMKD3MGP3W34R/42QRRBP |
Target File | Eduardo Rohde Eras.pdf |
User Group | simone |
Visibility | shown |
Read Permission | allow from all |
Update Permission | not transferred |
|
5. Allied materials | |
Mirror Repository | urlib.net/www/2017/11.22.19.04.03 |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8PH |
Citing Item List | sid.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 |
Dissemination | BNDEPOSITOLEGAL |
Host Collection | urlib.net/www/2017/11.22.19.04 |
|
6. Notes | |
Notes | Bolsa PIBIC/INPE/CNPq |
Empty Fields | abstract 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 | |
|