Publicações

Availability Evaluation of Software Architectures Through Formal Methods

AuthID
P-00A-3MN

Author(s)

Franco, JM

Barbosa, R

Zenha Rela, M

Editor(es)

da Silva A.R.da Silva A.R.Machado R.J.Brito M.A.

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC

Páginas: 282-287 (6)

Conference

9Th International Conference on the Quality of Information and Communications Technology (Quatic), Date: SEP 23-26, 2014, Location: Univ Minho, Guimaraes, PORTUGAL, Patrocinadores: Univ Porto, Fac Engn, Univ Minho,, Univ Nova Lisboa, Facu Ciencias Tecnologia, ISCTE IUL, Univ Lisboa, Inst Super Tecnico, INOVARIA, TICE pt, Centro Computacao Grafica, AIS SC, Host: Univ Minho

Indexing