Design and Verification of Novel Sync Cell.

Vazgen Melikyan Stepan Harutyunyan Taron Kaplanyan Artak Kirakosyan Momjyan Arsen Vardan Amiryan

Published in: EWDTS (2021)

Keyphrases

formal verification
database systems
user interface
computer aided
real time
multimedia
website
case study
multi agent
design principles
design decisions