Merkliste 
 1 Ergebnisse 
 
1

Formal Verification: Focused on the Verification Using a Pl..:

, In: Innovation, Engineering and Entrepreneurship; Lecture Notes in Electrical Engineering,
Galvão, Joel ; Oliveira, Cedrico ; Lopes, Helena. - p. 124-131 , 2018