كتاب إلكتروني
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
| العنوان: | From Informal Specifications to an ABV Framework for Industrial Firmware Verification |
|---|---|
| المؤلفون: | Germiniani, SamueleAff20, Bragaglio, MorenoAff20, Pravadelli, GrazianoAff20 |
| المساهمون: | Rannenberg, Kai, Editor-in-ChiefAff1, Soares Barbosa, Luís, Editorial Board MemberAff2, Goedicke, Michael, Editorial Board MemberAff3, Tatnall, Arthur, Editorial Board MemberAff4, Neuhold, Erich J., Editorial Board MemberAff5, Stiller, Burkhard, Editorial Board MemberAff6, Tröltzsch, Fredi, Editorial Board MemberAff7, Pries-Heje, Jan, Editorial Board MemberAff8, Kreps, David, Editorial Board MemberAff9, Reis, Ricardo, Editorial Board MemberAff10, Aff19, Furnell, Steven, Editorial Board MemberAff11, Mercier-Laurent, Eunika, Editorial Board MemberAff12, Winckler, Marco, Editorial Board MemberAff13, Malaka, Rainer, Editorial Board MemberAff14, Calimera, Andrea, editorAff15, Gaillardon, Pierre-Emmanuel, editorAff16, Korgaonkar, Kunal, editorAff17, Kvatinsky, Shahar, editorAff18 |
| المصدر: | VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers. 621:179-204 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783030816407 9783030816414 |
|---|---|
| DOI: | 10.1007/978-3-030-81641-4_9 |