Model Checking in an Industrial Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan. Model Checking in an Industrial Environment. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 239-248, Shaker, 2003.

This author has not been identified. Look up 'Eva Fordran' in GoogleThis author has not been identified. Look up 'Matthias Fruth' in GoogleThis author has not been identified. Look up 'Ulrich Hensel' in GoogleThis author has not been identified. Look up 'Hu Shaoyu' in GoogleThis author has not been identified. Look up 'Madabhushi Srinivasan' in Google

runs on WebDSL