Availability Evaluation of Software Architectures through Formal Methods.

Joo Miguel Franco, Raul Barbosa, Mrio Zenha Rela

Browse the full QUATIC paper archive.