Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes
- Igor Buzhinsky
- , Antti Pakonen
- , Valeriy Vyatkin
- Aalto University
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
4
Link opens in a new tab
Citations
(Scopus)
125
Downloads
(Pure)