Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Schönherr, Bernd Straube. Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 47-56, VDE, 2000.

This author has not been identified. Look up 'Jens Schönherr' in GoogleThis author has not been identified. Look up 'Bernd Straube' in Google

runs on WebDSL