Merkliste 
 1 Ergebnisse 
 
1

Table‐based formal specification approaches for control eng..:

Cha, Suhyun ; Vogel‐Heuser, Birgit ; Weigl, Alexander..
IET Cyber-Physical Systems: Theory & Applications.  6 (2021)  4 - p. 193-207 , 2021