Modeling and Verifying Imprecise Requirements of Systems Using Event-B.

Hong Anh Le Loan Dinh Thi Ninh-Thuan Truong

Published in: KSE (1) (2013)

Keyphrases

distributed systems
event detection
management system
computer systems
formal methods
real time
machine learning
complex systems
genetic algorithm
bayesian networks
building blocks
retrieval systems
real time systems
dynamic aspects
service requirements