mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(4994)
2023
(7944)
2022
(8727)
2021
(8936)
2020
(8204)
2019
(8872)
2018
(8670)
2017
(8689)
2016
(8835)
2015
(8223)
2014
(7150)
2013
(6756)
2012
(5775)
2011
(5563)
2010
(5427)
2009
(4595)
Fakultäten
(4474)
Architektur
(125)
Bau Geo Umwelt
(586)
Chemie
(22)
Elektrotechnik und Informationstechnik
(927)
Fachgebiet Bioanaloge Informationsverarbeitung (Prof. Hemmert)
(16)
Fachgebiet Elektrische Energieversorgungsnetze (Prof. Witzmann)
(7)
Fachgebiet Energiewandlungstechnik (Prof. Herzog)
(22)
Fachgebiet Halbleiterproduktionstechnik
Fachgebiet Höchstfrequenztechnik (Prof. Biebl)
(9)
Fachgebiet Informationstechnische Regelung (Prof. Hirche)
(20)
Fachgebiet Leitungsgebundene Übertragungstechnik (Prof. Hanik)
(24)
Fachgebiet Methoden der Signalverarbeitung (Prof. Utschick)
(35)
Fachgebiet Mikrostrukturierte mechatronische Systeme (Prof. Schwesinger)
(8)
Fachgebiet Verteilte Messsysteme
(1)
Junior-Professur Dynamische Mensch-Roboter-Interaktion (Prof. Lee)
Junior-Professur für Neurowissenschaftliche Systemtheorie (Prof. Conradt)
Junior-Professur Geometrische Optimierung und maschinelles Lernen (Prof. Kleinsteuber)
(6)
Junior-Professur Verteilte multimodale Informationsverarbeitung (Prof. Kranz)
(2)
Lehrstuhl für Datenverarbeitung (Prof. Diepold)
(42)
Lehrstuhl für Elektrische Antriebssysteme (Prof. Kennel)
(22)
Lehrstuhl für Energiewirtschaft und Anwendungstechnik (Prof. Wagner)
(35)
Lehrstuhl für Entwurfsautomatisierung (Prof. Schlichtmann)
(23)
Lehrstuhl für Halbleitertechnologie (Prof. Amann)
Lehrstuhl für Hochfrequenzsysteme der Fernerkundung (Prof. Detlefsen)
(6)
Lehrstuhl für Hochfrequenztechnik (Prof. Eibert)
(68)
Lehrstuhl für Hochspannungs- und Anlagentechnik (Prof. Kindersberger)
(9)
Lehrstuhl für Integrierte Systeme (Prof. Herkersdorf)
(19)
Lehrstuhl für Kognitive Informationsverarbeitung (Prof. Cheng)
(1)
Lehrstuhl für Kommunikationsnetze (Prof. Eberspächer)
(57)
Lehrstuhl für Kommunikation und Navigation (Prof. Günther)
(9)
Lehrstuhl für Medientechnik (Prof. Steinbach)
(26)
Lehrstuhl für Mensch - Maschine - Kommunikation (Prof. Rigoll)
(82)
Lehrstuhl für Meßsystem- und Sensortechnik (Prof. Koch)
(38)
Lehrstuhl für Nachrichtentechnik (Prof. Hanik komm.)
(37)
Lehrstuhl für Nanoelektronik (Prof. Lugli)
(62)
Lehrstuhl für Netzwerktheorie und Signalverarbeitung (Prof. Nossek)
(53)
Lehrstuhl für Realzeit-Computersysteme (Prof. Chakraborty)
(25)
Lehrstuhl für Steuerungs- und Regelungstechnik (Prof. Buss)
(111)
Lehrstuhl für Technische Elektronik (Prof. Schmitt-Landsiedel)
(39)
Lehrstuhl für Technische Elektrophysik (Prof. Wachutka)
(23)
Informatik
(392)
Maschinenwesen
(571)
Mathematik
(113)
Medizin
(546)
Physik
(102)
Sport- und Gesundheitswissenschaften
(10)
TUM School of Education
(82)
Wirtschaftswissenschaften
(208)
Wissenschaftszentrum Weihenstephan
(790)
Integrated Research Centers
(14)
Zentrale Einrichtungen
(107)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2009
Fakultäten
Elektrotechnik und Informationstechnik
Lehrstuhl für Entwurfsautomatisierung (Prof. Schlichtmann)
Back
Back to start of result list
Permanent link for displayed object
Title:
Formal Approaches to Analog Circuit Verification
Author(s):
Barke, E.; Grabowski, D.; Graeb, Helmut; Hedrich, L.; Heinen, St.; Popp, R.; Steinhorst, S.; Wang, Y.
Book / Congress title:
Design, Automation and Test in Europe (DATE)
Year:
2009
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Entwurfsautomatisierung (Prof. Schlichtmann)
2009
mediaTUM Gesamtbestand
Hochschulbibliographie
2009
Fakultäten
Elektrotechnik und Informationstechnik
Lehrstuhl für Entwurfsautomatisierung (Prof. Schlichtmann)