TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

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]

This list was generated on Sat Mar 28 00:42:28 2020 CET.