scholarly journals A Practical Approach to the Formal Verification of SoC’s with Symbolic Model-Checking

Author(s):  
Emil Dumitrescu
Author(s):  
Alireza Souri ◽  
Amir Masoud Rahmani ◽  
Nima Jafari Navimipour ◽  
Reza Rezaei

1999 ◽  
pp. 150-173 ◽  
Author(s):  
Tom Bienmüller ◽  
Udo Brockmeyer ◽  
Werner Damm ◽  
Gert Döhmen ◽  
Claus Eßmann ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document