| 1. Identity statement | |
| Reference Type | Journal Article |
| Site | plutao.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 8JMKD3MGP3W/3LSCS2H |
| Repository | sid.inpe.br/plutao/2016/06.14.11.49 (restricted access) |
| Last Update | 2018:04.13.16.14.50 (UTC) simone |
| Metadata Repository | sid.inpe.br/plutao/2016/06.14.11.49.12 |
| Metadata Last Update | 2018:06.04.23.26.06 (UTC) administrator |
| ISSN | 0302-9743 |
| Label | lattes: 5039690360728170 1 SantiagoJúniorTaha:2016:TiPeFo |
| Citation Key | SantiagoJúniorTaha:2016:TiPeFo |
| Title | Time Performance Formal Evaluation of Complex Systems  |
| Year | 2016 |
| Access Date | 2024, Apr. 23 |
| Secondary Type | PRE PI |
| Number of Files | 1 |
| Size | 371 KiB |
| 2. Context | |
| Author | 1 Santiago Júnior, Valdivino Alexandre de 2 Tahar, Sofiène |
| Resume Identifier | 1 8JMKD3MGP5W/3C9JJB5 |
| Group | 1 LAC-CTE-INPE-MCTI-GOV-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Journal | Lecture Notes in Computer Science |
| Volume | 9526 |
| Pages | 162-177 |
| Secondary Mark | A1_BIODIVERSIDADE A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_PSICOLOGIA B3_ODONTOLOGIA B3_MEDICINA_III B3_MEDICINA_II B3_MEDICINA_I B3_GEOCIÊNCIAS B3_ENGENHARIAS_II B3_ENGENHARIAS_I B3_EDUCAÇÃO_FÍSICA B3_DIREITO B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_ENSINO B5_CIÊNCIAS_BIOLÓGICAS_II B5_CIÊNCIAS_BIOLÓGICAS_I C_QUÍMICA C_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA C_ENGENHARIAS_IV C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_CIÊNCIAS_AMBIENTAIS C_CIÊNCIAS_AGRÁRIAS_I C_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA |
| History (UTC) | 2016-06-14 11:49:12 :: lattes -> administrator :: 2016-06-20 12:50:12 :: administrator -> lattes :: 2016 2016-12-05 21:28:54 :: lattes -> administrator :: 2016 2017-01-09 13:56:33 :: administrator -> simone :: 2016 2018-04-13 16:14:50 :: simone -> administrator :: 2016 2018-06-04 23:26:06 :: administrator -> simone :: 2016 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Version Type | publisher |
| Keywords | Performance Evaluation Probabilistic Model Checking Formal Verification Formal Methods |
| Area | COMP |
| Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Time Performance Formal... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| Language | en |
| Target File | santiago_time.pdf |
| Reader Group | administrator simone |
| Visibility | shown |
| Archiving Policy | denypublisher denyfinaldraft12 |
| Read Permission | deny from all and allow from 150.163 |
| Update Permission | not transferred |
| 5. Allied materials | |
| Mirror Repository | urlib.net/www/2011/03.29.20.55 |
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP |
| Citing Item List | sid.inpe.br/bibdigital/2013/09.22.23.14 2 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
| Dissemination | WEBSCI; PORTALCAPES; COMPENDEX. |
| Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notes | |
| Notes | Setores de Atividade: Pesquisa e desenvolvimento científico. |
| Empty Fields | abstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark month nextedition number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url usergroup |
| 7. Description control | |
| e-Mail (login) | simone |
| update | |