Complementary use of runtime validation and model checking
- Ali Alphan Bayazit
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37
Link opens in a new tab
Scopus
citations