Modeling and Efficient Verification of Broadcasting Actors.

Behnaz Yousefi Fatemeh Ghassemi Ramtin Khosravi

Published in: FSEN (2015)

Keyphrases

neural network
social networks
genetic algorithm
digital video
database
artificial intelligence
data structure
evolutionary algorithm
computationally efficient
cost effective
model checking
computationally expensive