Publications

Availability Evaluation of Software Architectures Through Formal Methods

AuthID
P-00A-3MN

Author(s)

Franco, JM

Barbosa, R

Zenha Rela, M

Editor(s)

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

Document Type

Proceedings Paper

Year published

2014

Published

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

Pages: 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, Sponsors: 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