TU Darmstadt / ULB / TUbiblio

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

Ehrenfried, A. and Scholz, Daniel and Welp, T. (2006):
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, <9, 2006, Dresden> Bernd Straube ... (Hrsg.). - Dresden 2006. - S. 114-121 ISBN: 3-9810287-1-6, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Ehrenfried, A. and Scholz, Daniel and Welp, T.
Title: Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen
Language: German
Series Name: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, <9, 2006, Dresden> Bernd Straube ... (Hrsg.). - Dresden 2006. - S. 114-121 ISBN: 3-9810287-1-6
Divisions: 01 Department of Law and Economics
18 Department of Electrical Engineering and Information Technology
01 Department of Law and Economics > Betriebswirtschaftliche Fachgebiete > Operations Research
01 Department of Law and Economics > Betriebswirtschaftliche Fachgebiete
Date Deposited: 20 Nov 2008 08:23
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item