Publicações

Availability Evaluation of Software Architectures Through Formal Methods

AuthID
P-00A-3MN

Author(s)

Franco, JM

Barbosa, R

Zenha Rela, M

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (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