C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Retrenchment for Event-B: UseCase-wise development and Rodin integration.
Richard Banach
Published in:
Formal Aspects Comput. (2011)
Keyphrases
</>
st century
software engineering
case study
data fusion
seamless integration
neural network
content management
knowledge integration
event driven
information integration
rapid development
development process
event detection
knowledge acquisition
data model
evolutionary algorithm
pairwise
multi agent
decision making