Formal Methods in Computer-Aided Design (FMCAD)
71 71 people viewed this event.
FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
Formal Methods in Computer-Aided Design (FMCAD) is technically sponsored by IEEE. The proceedings of the conference will be submitted for inclusion in prestigious databases such as Scopus, Web of Science (WoS), Ei Compendex, DBLP, Google Scholar, and many others.