![](/img/cover-not-exists.png)
Using formal methods in a design for reliability as applied to an electronic system that integrates software and hardware to perform a function
B.A.L. Gwandu, D.J. CreaseyVolume:
35
Year:
1995
Language:
english
Pages:
14
DOI:
10.1016/0026-2714(94)00179-r
File:
PDF, 1.13 MB
english, 1995