Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos

Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos

Submitted by Wagner Junior (wagner.junior@unioeste.br) on 2018-11-30T17:04:04Z No. of bitstreams: 2 Claudia_Beatriz_Bozz_2018.pdf: 4791914 bytes, checksum: 0affba2e984ec7e6beefa83d0c3bdfeb (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) === Made available in DSpace on...

Full description

Bibliographic Details
Main Author: Bozz, Claudia Beatriz
Other Authors: Kunz, Guilherme de Oliveira
Format: Others
Language:Portuguese
Published: Universidade Estadual do Oeste do Paraná 2018
Subjects:
Autômatos híbridos
Model checking
Verificação formal estatística
Disponibilidade
Manutenção
Hybrid automata
Model Checking
Statistical formal verification
Availability
Maintenance
CIENCIAS EXATAS E DA TERRA::PROBABILIDADE E ESTATISTICA
Online Access:http://tede.unioeste.br/handle/tede/4045

Internet

http://tede.unioeste.br/handle/tede/4045

Similar Items