Automated Requirements-Based Testing of Black-Box Reactive Systems

von Narizzano, Massimo
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)