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

Similar Items

Verificação formal de sistemas modelados em estados finitos.
by: Nelson França Guimarães Ferreira
Published: (2006)

Verificação formal de sistemas modelados em estados finitos.
by: Ferreira, Nelson França Guimarães
Published: (2006)

Verificação formal de sistemas discretos distribuídos.
by: Pedro Manuel González Del Foyo
Published: (2009)

Verificação formal de sistemas discretos distribuídos.
by: González Del Foyo, Pedro Manuel
Published: (2009)

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
by: Santos, Felipe Crestani dos
Published: (2018)

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
by: Ferrarezi, Rodrigo César
Published: (2014)

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
by: Rodrigo César Ferrarezi
Published: (2014)

Timed Concurrent State Machines
by: Wiktor B. Daszczuk
Published: (2007-01-01)

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification
by: Luca Brunese, et al.
Published: (2019-01-01)

Sthread: In-Vivo Model Checking of Multithreaded Programs
by: Cooperman, G., et al.
Published: (2020)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
by: Vladimir Burenkov
Published: (2018-10-01)

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin
by: Bostjan Vlaovic, et al.
Published: (2017-01-01)

A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards
by: M. Henzl, et al.
Published: (2016-04-01)

Abstraction Guided Semi-formal Verification
by: Parikh, Ankur
Published: (2014)

Modelagem e veriﬁcação automática de um protocolo de controle de fluxo adaptativo usando traços de execução.
by: MOREIRA, Anne Lorayne Gerônimo Silva Augusto.
Published: (2016)

Approximation and Refinement Techniques for Hard Model-checking Problems
by: Bobaru, Mihaela
Published: (2009)

Approximation and Refinement Techniques for Hard Model-checking Problems
by: Bobaru, Mihaela
Published: (2009)

Using Live Sequence Chart Specifications for Formal Verification
by: Kumar, Rahul
Published: (2008)

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking
by: Jingjing Zhang, et al.
Published: (2021-01-01)

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
by: Tomás Grimm, et al.
Published: (2018-05-01)

Design Verification for Sequential Systems at Various Abstraction Levels
by: Zhang, Liang
Published: (2014)

Formal Analysis Of Use Case Diagrams
by: Radosław Klimek, et al.
Published: (2010-01-01)

Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification
by: Al-Qtiemat, Eman Mohammad
Published: (2021)

Formal Verification of Control Modules in Cyber-Physical Systems
by: Iwona Grobelna
Published: (2020-09-01)

Towards Formal Verification in a Component-based Reuse Methodology
by: Karlsson, Daniel
Published: (2003)

Formal Modeling and Analysis Techniques for High Level Petri Nets
by: Liu, Su
Published: (2014)

Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models
by: Bakir, M.E., et al.
Published: (2018)

Model Checking Longitudinal Control in Vehicle Platoon Systems
by: Cong Peng, et al.
Published: (2019-01-01)

Formal Verification Methodologies for NULL Convention Logic Circuits
by: Le, Son Ngoc
Published: (2021)

Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
by: Iwona GROBELNA
Published: (2020-06-01)

Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
by: Simone Hanazumi
Published: (2010)

Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
by: Hanazumi, Simone
Published: (2010)

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems
by: Singh, Amandeep
Published: (2012)

Verifying Absence of ∞ Loops in Parameterized Protocols
by: Saksena, Mayank
Published: (2008)

Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif
by: Jingjing Zhang, et al.
Published: (2020-01-01)

Verificación automática de procesos de negocio con un enfoque composicional
by: Luis E Mendoza Morales, et al.

Formal verification of ontology transformation for distribution network information model based on meta-model theory
by: Boya Qin, et al.
Published: (2020-11-01)

Um método para verificação formal e dinâmica de sistemas de software concorrentes
by: Santos, Bruno Roberto
Published: (2017)

Automatic Datapath Abstraction Of Pipelined Circuits
by: Vlad, Ciubotariu
Published: (2011)

Automatic Datapath Abstraction Of Pipelined Circuits
by: Vlad, Ciubotariu
Published: (2011)

Cannot write session to /tmp/vufind_sessions/sess_kunkt3ervpbh4lp5a21b6naoqv