Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Ehrenfried, Daniel Scholz, Tobias Welp. Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 114-121, Fraunhofer Institut für Integrierte Schaltungen, 2006.

This author has not been identified. Look up 'Andreas Ehrenfried' in GoogleThis author has not been identified. Look up 'Daniel Scholz' in GoogleThis author has not been identified. Look up 'Tobias Welp' in Google

runs on WebDSL