Availability Evaluation of Software Architectures Through Formal Methods

AuthID
P-00A-3MN
1
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
Publication Identifiers
Dblp: conf/quatic/FrancoBR14
Scopus: 2-s2.0-84921023792
Wos: WOS:000364237700040
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.