المؤلفون: Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Voronkov, Andrei

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

الإتاحة: https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34Test
https://repositum.tuwien.at/handle/20.500.12708/18621Test

المؤلفون: Ivrii, Alexander, Strichman, Ofer

المساهمون: IBM Haifa Research Lab, Israel, Information System Engineering, IE, The Technion, Haifa, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, formale Methoden, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18629Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_29Test

الإتاحة: https://doi.org/20.500.12708/18629Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_29Test
https://hdl.handle.net/20.500.12708/18629Test

المؤلفون: Amir, Guy, Schapira, Michael, Katz, Guy

المساهمون: The Hebrew University of Jerusalem, Israel, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18630Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_28Test

الإتاحة: https://doi.org/20.500.12708/18630Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_28Test
https://hdl.handle.net/20.500.12708/18630Test

المؤلفون: Bendik, Jaroslav

المساهمون: Max Planck Institute for Software Systems, Deutschland, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18626Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_30Test

الإتاحة: https://doi.org/20.500.12708/18626Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_30Test
https://hdl.handle.net/20.500.12708/18626Test

المؤلفون: Vukmirović, Petar, Blanchette, Jasmin, Heule, Marijn

المساهمون: Vrije Universiteit Amsterdam, the Netherlands, Université de Lorraine, CNRS, Inria, LORIA, Nancy, France, Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18623Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32Test

الإتاحة: https://doi.org/20.500.12708/18623Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_32Test
https://hdl.handle.net/20.500.12708/18623Test

المؤلفون: Golia, Priyanka, Soos, Mate, Chakraborty, Sourav, Meel, Kuldeep S.

المساهمون: Indian Institute of Technology Kanpur, India, National University of Singapore, Indian Statistical Institute, Kolkota, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18625Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_31Test

الإتاحة: https://doi.org/20.500.12708/18625Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_31Test
https://hdl.handle.net/20.500.12708/18625Test

المؤلفون: Rawson, Michael, Reger, Giles

المساهمون: University of Manchester, UK, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18612Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_38Test

الإتاحة: https://doi.org/20.500.12708/18612Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_38Test
https://hdl.handle.net/20.500.12708/18612Test

المؤلفون: Kumar, Ankit, Manolios, Panagiotis

المساهمون: Northeastern University, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18619Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_36Test

الإتاحة: https://doi.org/20.500.12708/18619Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_36Test
https://hdl.handle.net/20.500.12708/18619Test

المؤلفون: Hyvärinen, Antti, Marescotti, Matteo, Sharygina, Natasha

المساهمون: Universita della Svizzera italiana, Schweiz, Facebook, UK, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18617Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_37Test

الإتاحة: https://doi.org/20.500.12708/18617Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_37Test
https://hdl.handle.net/20.500.12708/18617Test

المساهمون: Piskac, Ruzica, Whalen, Michael W., Yale University, USA, Amazon Web Services, #PLACEHOLDER_PARENT_METADATA_VALUE#

مصطلحات موضوعية: formal methods, computer-aided system design, hardware and system verification, formal verification, specification, synthesis and testing, automated and formal reasoning, formale Methode, rechnerunterstützte Systementwicklung, Hardwareverifikation, Systemverifikation, formale Verifikation, Spezifikation, Synthese und Testung, automatisches Schlussfolgern, formale Logik

العلاقة: Conference Series: Formal Methods in Computer-Aided Design; #PLACEHOLDER_PARENT_METADATA_VALUE#; http://hdl.handle.net/20.500.12708/18607Test; https://doi.org/10.34727/2021/isbn.978-3-85448-046-4Test

الإتاحة: https://doi.org/20.500.12708/18607Test
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4Test
https://hdl.handle.net/20.500.12708/18607Test