Specifying and Verifying Dataflow Networks in TLA.

Tatjana Kapus Zmago Brezocnik

Published in: Applied Informatics (1999)

Keyphrases

network analysis
temporal logic
computer networks
model checking
network structure
telecommunication networks
design methodology
data flow
complex networks
social networks
object oriented
community structure
motion estimation
community detection
real world
neural network
heterogeneous networks
data sets