Top 1014 audits verification PDF Book Page 43
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April
Gerard Berry (auth.), Carlos Delgado Kloos, Eduard Cerny (eds.)
·349 Pages
·1997
·12.069 MB
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)
·271 Pages
·2012
·12.265 MB
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Pr
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
·457 Pages
·1998
·17.774 MB
Geometric Product Specification and Verification: Integration of Functionality: Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the École Normale Supérieure de Cachan, France, 24–25 April 2001
Vijay Srinivasan (auth.), Pierre Bourdet, Luc Mathieu (eds.)
·330 Pages
·2003
·7.601 MB
Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selec
Anna-Lena Lamprecht (eds.)
·158 Pages
·2016
·15.208 MB
VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers
Hollstein, Thomas; Kostin, Sergeĭ; O'Connor, Ian; Raik, Jaan; Reis, Ricardo; Tšertov, Anton
·247 Pages
·2017
·16.111 MB
