Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach.

Madhuri D. Bhavsar

Published in: ICETET (2010)

Keyphrases

formal methods
formal analysis
artificial intelligence
databases
machine learning
database systems
data analysis
user interaction