4 E-böcker av Dana Fisman
Cindy Eisner & Dana Fisman: A Practical Introduction to PSL
Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today’s design ?ow: much of it is more or less automated, from RTL to netlist to layout to silicon. But all …
PDF
Engelska
€149.79
Lu Feng & Dana Fisman: Runtime Verification
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 …
EPUB
Engelska
DRM
€83.43
Dana Fisman & Grigore Rosu: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
PDF
Engelska
DRM
€3.80
Dana Fisman & Grigore Rosu: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April …
PDF
Engelska
DRM
€3.79
