Bücher und Buch-Herausgaben:
D. Stewart, G. Weissenbacher (Hrg.):
"FMCAD'17: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design";
FMCAD Inc.,
Austin, TX,
2017,
ISBN: 978-0-9835678-7-5;
241 S.
Kurzfassung englisch:
The International Conference on Formal Methods in Computer Aided Design (FMCAD), held at TU Wien in Vienna, Austria, from October 2-6 in 2017, is the seventeenth in a series of meetings on the theory and applications of rigorous formal techniques for the automated design of systems. The FMCAD conference covers formal aspects of specification, verification, synthesis, testing, and security, and is a leading forum for researchers and practitioners in academia and industry alike.
Schlagworte:
formal methods, hardware verification, software verification
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.15781/T2JS9HQ7C
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_263534.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.