Adaptive model learning for continual verification of non-functional properties

Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results