Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em relé

Railway Interlocking Systems (RIS) have long been implemented as relay-based systems. However, checking these systems for safety is usually done manually from an analysis of electrical circuit diagrams, which cannot be considered trustful. In the literature, formal verification approaches are use...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
1. autor: Bezerra, Paulo Eneas Rolim
Kolejni autorzy: Oliveira, Marcel Vinicius Medeiros
Format: Dissertação
Język:pt_BR
Wydane: Universidade Federal do Rio Grande do Norte
Hasła przedmiotowe:
Computação
Formal methods
CSP
Railway interlocking systems
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Dostęp online:https://repositorio.ufrn.br/handle/123456789/52600
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

Internet

https://repositorio.ufrn.br/handle/123456789/52600

Podobne zapisy