A formal approach for modeling and verification of RTCORBA-based applications.

Matteo Rossi Dino Mandrioli

Published in: ISSTA (2004)

Keyphrases

formal methods
model checking
neural network
genetic algorithm
decision making
database
databases
computer vision
image processing
database systems
feature extraction
expert systems
probabilistic model
formal models
formal representation