Especificação e Verificação Formal de Sistemas Distribuídos.

Fernando Luís Dotti Luciana Foss Leila Ribeiro Osmar Marchi dos Santos

Published in: SBES (2003)

Keyphrases

formal methods
learning algorithm
information systems
probabilistic model
formal model
formal specification
databases
decision trees
database systems
formal analysis
ddos attacks