Towards Heterogeneous Specifications.

Andrzej Tarlecki

Published in: FroCoS (1998)

Keyphrases

real world
information systems
highly dynamic
heterogeneous networks
delay insensitive
real time
neural network
high level
multi agent
formal specification
specification language
formal verification
heterogeneous sources