Counterexample visualization and explanation for function block diagrams
- Antti Pakonen
- , Igor Buzhinsky
- , Valeriy Vyatkin
- Aalto University
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
16
Link opens in a new tab
Citations
(Scopus)
709
Downloads
(Pure)