Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper).

Pedro da Rocha Pinto Thomas Dinsdale-Young Philippa Gardner

Published in: MFPS (2015)

Keyphrases

modular structure
modular architecture
modular neural network
modular robots
formal specification
invited talk
neural network
machine learning
data sets
data mining
researchers and practitioners
functional modules
asynchronous circuits
concurrent systems