Adaptive testing for specification coverage and refinement in CPS models

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher*, Niveditha Manjunath, Dejan Nickovic

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Suchergebnisse