IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research & CRI

IBM Verification Conference 2005

IBM Haifa Labs


Parallel and Distributed Systems: Testing and Debugging (PADTAD - 3)
November 15, 2005
Organized by IBM Research Lab in Haifa, Israel


Workshop Co-chairs


Shmuel Ur
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6250
Fax. +972-4-829-6114
Email: ur@il.ibm.com


Eitan Farchi
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6154
Fax. +972-4-829-6114
Email: farchi@il.ibm.com

 



Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
PADTAD Home Page  
PADTAD 2004  
PADTAD 2003  
ConTest  


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research