 |
Browse our site
|
ATTEST - AlgoriThms and Tools for reasoning about dEpendable SysTems
Participating entities: INESC-ID, Carnegie Mellon University. Principal researcher: João Paulo Marques Silva. Researcher: Inês Lynce. Funding entity: Fundação Ciência e Tecnologia (MCTES). Reference: CMU-PT/ELE/0009/2009 Funding: 167889.
Principal researcher: Pedro Barahona. Researchers: Marco Correia, Francisco Azevedo. Funding: 37674.
|