Výsledky vyhledávání - "Autômatos temporizados híbridos"

Metodologia para avaliação de falhas múltiplas em sistemas críticos visando o aumento da segurança

Autor: Demenech, Douglas

Publikováno v: Biblioteca Digital de Teses e Dissertações do UNIOESTE
Universidade Estadual do Oeste do Paraná (UNIOESTE)
instacron:UNIOESTE

Submitted by Wagner Junior (wagner.junior@unioeste.br) on 2019-05-20T19:59:53Z No. of bitstreams: 2 Douglas_Demenech_2018.pdf: 1921049 bytes, checksum: 84cfeaa2335667d4ba077d58d9802324 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::ae697c5cef8225c3f7ea3c2e0ee93fb8
http://tede.unioeste.br/handle/tede/4280

Zobrazit plný text záznamu

Dissertation/ Thesis

Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística

Autor: Santos, Felipe Crestani dos

Publikováno v: Biblioteca Digital de Teses e Dissertações do UNIOESTEUniversidade Estadual do Oeste do ParanáUNIOESTE.

Submitted by Miriam Lucas (miriam.lucas@unioeste.br) on 2018-02-22T14:23:15Z No. of bitstreams: 2 Felipe_Crestani_dos_Santos_2017.pdf: 5495370 bytes, checksum: 82f81445874bba45497cda5c8d784d2f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e98

Externí odkaz: http://tede.unioeste.br/handle/tede/3398

Zobrazit plný text záznamu

Metodologyfor power system protection abalisys based on statistical model checking

Autor: Santos, Felipe Crestani dos

Publikováno v: Biblioteca Digital de Teses e Dissertações do UNIOESTE
Universidade Estadual do Oeste do Paraná (UNIOESTE)
instacron:UNIOESTE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::6f1f5a4fac7bf6e1137bae3bf609dc1e
http://tede.unioeste.br/handle/tede/3398

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání