Sign in

Formal Design and Verification of an Asynchronous SRAM Controller.

Victor KhomenkoAndrey MokhovDanil SokolovAlex Yakovlev
Published in: ACSD (2017)
Keyphrases
  • formal methods
  • neural network
  • control system
  • knowledge based systems
  • software engineering
  • design process
  • software architecture
  • control method