![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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 |