|
[TH20]
Iram Tariq Bhatti and Osman Hasan.
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System.
In Proc. 21st International Symposium on Quality Electronic Design (ISQED'20), pages 111-116.
2020.
[Uses probabilistic model checking and PRISM to analyse the functional correctness and performance of a fully automated out-of-plane cell injection system.]
|
|
Links:
[Google]
[Google Scholar]
|