Formal Design and Verification of an Asynchronous SRAM Controller.

Victor Khomenko Andrey Mokhov Danil Sokolov Alex Yakovlev

Published in: ACSD (2017)

Keyphrases

formal methods
neural network
control system
knowledge based systems
software engineering
design process
software architecture
control method