Results 261 to 263 of about 135,609 (263)
Some of the next articles are maybe not open access.
Formal verification in hardware design
ACM Transactions on Design Automation of Electronic Systems, 1999exaly
Formal verification of algorithms for critical systems
IEEE Transactions on Software Engineering, 1993exaly