Login / Signup
Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus.
Cirney Carneiro
Rodrigo Quites Reis
Paulo Blauth Menezes
Published in:
SBES (1999)
Keyphrases
</>
database
databases
machine learning
information systems
image processing
formal specification
artificial intelligence
image segmentation
database systems
operational semantics