Formal Methods in Computer-Aided Design (FMCAD)
10 10 people viewed this event.
FMCAD Covers Formal Aspects of Computer-Aided System Design Including Verification, Specification, Synthesis, and Testing.
With technical sponsorship from IEEE, this event anticipates that its proceedings will be indexed in leading databases such as Scopus, Web of Science (WoS), Ei Compendex, DBLP, and Google Scholar.