Systematic model-based safety assessment via probabilistic model checking

Systematic model-based safety assessment via probabilistic model checking

Made available in DSpace on 2014-06-12T15:59:55Z (GMT). No. of bitstreams: 2 arquivo5803_1.pdf: 2496332 bytes, checksum: b4666e127bf620dbcb7437f9d83c2344 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 === Faculdade de Amparo à Ciência e...

Full description

Bibliographic Details
Main Author: GOMES, Adriano José Oliveira
Other Authors: MOTA, Alexandre Cabral
Language:English
Published: Universidade Federal de Pernambuco 2014
Subjects:
Quantitative Safety Assessment
Probabilistic Model-Checking
Formal Methods
Prism
Markov Analysis
Aircraft Systems
Online Access:https://repositorio.ufpe.br/handle/123456789/2651

Internet

https://repositorio.ufpe.br/handle/123456789/2651

Similar Items