Merkliste 
 1 Ergebnisse 
 
1

Automated Test Generation for IEC 61131-3 ST Programs via D..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),
Hao, Li ; Shi, Jianqi ; Su, Ting. - p. 200-207 , 2019