Correct-by-Construction Evolution of Realisable Conversation Protocols.

Sarah Benyagoub Meriem Ouederni Neeraj Kumar Singh Yamine Aït Ameur

Published in: MEDI (2016)

Keyphrases

multi party
machine learning
construction process
neural network
image sequences
conversational agent
real world
data mining
artificial intelligence
information systems
decision making
case study
data structure
digital libraries
communication protocols
construction industry