Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Inference -- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.
View Other Search Results
Yazar
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
Verification of MATLAB and Simulink Matrix-Manipulating Code -- GPU Accelerated Counterexample Generation in
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: