Buscar
Mostrando ítems 11-20 de 350
Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas
(Universidade Federal de Minas GeraisUFMG, 2002-01-03)
.
A utilização de ferramentas de verificação formal em sistemas de comunicação de dados
(Florianópolis, SC, 2012)
Modelagem, verificação formal e codificação de sistemas reativos autônomos
(Universidade Federal de Minas GeraisUFMG, 2009-12-17)
The computation systems are used in many areas, since bank account´s until patient's monitoring. Applications where human lives and high investments are critical, the system´s quality is fundamental to reduces or eliminate ...
Verificação formal de protocolos de segurança voltados à redes de sensores sem fio
(Araranguá, SC, 2017)
FormAr: software architecture formalization for critical applications
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-11)
Errors during the software development may give rise to flaws in the system
that can cause important damages. One of the most important stages in the
software development process is modelling the system architecture, ...
Using formal methods for content validation of medical procedure documents.
(Elsevier Science Ireland Ltd, 2018)
Elementos para a construção de uma cadeia de verificação para o projeto TopCased
(Florianópolis, SC, 2012)