First latin-american symposium on dependable computing | sao paulo - sp
Validation of smart city applications: a fault-based approach
Optimization of improved oil recovery in carbonates through LS-WAG-CO2 flooding us...
CINEMA: Intelligent, Scalable, Mobile and Highly-Available Computing in the Internet