Formal Verification Techniques: Industrial Status and Perspectives - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud. Formal Verification Techniques: Industrial Status and Perspectives. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 1050-1051, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Joel Blasquez' in GoogleThis author has not been identified. Look up 'Marten van Hulst' in GoogleThis author has not been identified. Look up 'Andrea Fedeli' in GoogleThis author has not been identified. Look up 'Jean-Luc Lambert' in GoogleThis author has not been identified. Look up 'Dominique Borrione' in GoogleThis author has not been identified. Look up 'Coby Hanoch' in GoogleThis author has not been identified. Look up 'Pierre Bricaud' in Google

runs on WebDSL