Remote Integration and Coordination of Verification Tools in JETI.

Tiziana Margaria Ralf Nagel Bernhard Steffen

Published in: ECBS (2005)

Keyphrases

management tools
formal methods
software tools
multi agent
real time
data fusion
virtual enterprise
multiple agents
user friendly
decision support
building blocks
end users
information integration
relational databases
information systems
artificial intelligence
formal verification
data mining