Login / Signup

A perspective on specifying and verifying concurrent modules.

Thomas Dinsdale-YoungPedro da Rocha PintoPhilippa Gardner
Published in: J. Log. Algebraic Methods Program. (2018)
Keyphrases
  • model checking
  • neural network
  • real world
  • artificial intelligence
  • expert systems
  • viewpoint
  • building blocks
  • functional modules
  • data mining
  • social networks
  • lower bound
  • modular architecture