A Change of Perspective Yields Formal Analysis.

Radu Grosu Flavio H. Fenton Scott A. Smolka Ezio Bartocci

Published in: SEW (2011)

Keyphrases

formal analysis
formal methods
viewpoint
ban logic
neural network
agent model
database
query processing
knowledge management