Informace o publikaci
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
| Autoři | |
|---|---|
| Rok publikování | 2022 |
| Druh | Článek ve sborníku |
| Konference | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022 |
| Citace | |
| www | https://link.springer.com/chapter/10.1007/978-3-030-99527-0_15 |
| Doi | http://dx.doi.org/10.1007/978-3-030-99527-0_15 |