mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(5176)
2023
(7949)
2022
(8728)
2021
(8933)
2020
(8190)
2019
(8865)
2018
(8662)
Fakultäten
(7934)
Architektur
(155)
Bau Geo Umwelt
(971)
Chemie
(185)
Elektrotechnik und Informationstechnik
(1291)
Audio-Signalverarbeitung (Prof. Seeber)
(9)
Bioanaloge Informationsverarbeitung (Prof. Hemmert)
(54)
Biomedizinische Elektronik (Prof. Hayden)
(10)
Coding for Communications and Data Storage (Prof. Wachter-Zeh)
(37)
Computational Neuroengineering (Prof. Macke)
(40)
Computational Photonics (Prof. Jirauschek)
(41)
Datenverarbeitung (Prof. Diepold)
(6)
Elektrische Antriebssysteme und Leistungselektronik (Prof. Kennel)
(98)
Elektrische Energiespeichertechnik (Prof. Jossen)
(65)
Elektrische Energieversorgungsnetze (Prof. Witzmann)
(17)
Embedded Systems and Internet of Things (Prof. Steinhorst)
(10)
Energiewandlungstechnik (Prof. Herzog)
(34)
Energiewirtschaft und Anwendungstechnik (Prof. Wagner)
(8)
Entwurfsautomatisierung (Prof. Schlichtmann)
(42)
Erneuerbare und Nachhaltige Energiesysteme (Prof. Hamacher)
(39)
Geometrische Optimierung und maschinelles Lernen (Prof. Kleinsteuber)
(1)
Halbleitertechnologie (Prof. Amann)
Hochfrequenzsysteme der Fernerkundung (komm. Prof. Detlefsen)
Hochfrequenztechnik (Prof. Eibert)
(58)
Hochspannungs- und Anlagentechnik (Prof. Kindersberger)
(19)
Höchstfrequenztechnik (Prof. Biebl)
(10)
Human-centered Assistive Robotics (Prof. Lee)
(14)
Hybride elektronische Systeme (Prof. Kreupl)
(14)
Hybride Regelungssysteme (Prof. Zamani)
(4)
Informationstechnische Regelung (Prof. Hirche)
(37)
Integrierte Systeme (Prof. Herkersdorf)
(19)
Kognitive Systeme (Prof. Cheng)
(15)
Kommunikationsnetze (Prof. Kellerer)
(54)
Kommunikation und Navigation (Prof. Günther)
(14)
Leitungsgebundene Übertragungstechnik (Prof. Hanik)
(7)
Medientechnik (Prof. Steinbach)
(29)
Mensch-Maschine-Kommunikation (Prof. Rigoll)
(16)
Messsystem- und Sensortechnik (Prof. Koch)
(38)
Methoden der Signalverarbeitung (Prof. Utschick)
(44)
Mikrostrukturierte mechatronische Systeme (Prof. Schwesinger)
Molekularelektronik (Prof. Tornow)
(17)
Nachrichtentechnik (Prof. Kramer)
(112)
Nanoelektronik (Prof. Becherer komm.)
(43)
Netzwerktheorie und Signalverarbeitung (Prof. Nossek)
(1)
Neuroelektronik (Prof. Wolfrum)
(28)
Neurowissenschaftliche Systemtheorie (Prof. Conradt)
(3)
Realzeit-Computersysteme (Prof. Chakraborty)
(24)
Robotik und Systemintelligenz (Prof. Haddadin, Joint Appointment mit Fakultät für Informatik)
(12)
Sicherheit in der Informationstechnik (Prof. Sigl)
(33)
Simulation von Nanosystemen für Energiewandlungen (Prof. Gagliardi)
(21)
Steuerungs- und Regelungstechnik (Prof. Buss)
(24)
Technische Elektronik (Prof. Schmitt-Landsiedel)
Technische Elektrophysik (Prof. Wachutka)
(14)
Theoretische Informationstechnik (Prof. Boche)
(41)
Umweltsensorik und Modellierung (Prof. Chen)
(19)
Verteilte Messsysteme (N.N.)
Verteilte Multimodale Informationsverarbeitung (N.N.)
Informatik
(547)
Maschinenwesen
(1291)
Mathematik
(128)
Medizin
(710)
Physik
(275)
Sport- und Gesundheitswissenschaften
(294)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(85)
TUM School of Education
(185)
TUM School of Governance
(64)
Wirtschaftswissenschaften
(463)
Wissenschaftszentrum Weihenstephan
(1295)
Integrated Research Centers
(481)
Zentrale Einrichtungen
(249)
2017
(8686)
2016
(8831)
2015
(8220)
2014
(7148)
2013
(6755)
2012
(5774)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Elektrotechnik und Informationstechnik
Embedded Systems and Internet of Things (Prof. Steinhorst)
Back
Back to start of result list
Permanent link for displayed object
Title:
Feature-Based State Space Coverage Metric for Analog Circuit Verification
Author(s):
Fürtig, Andreas; Steinhorst, Sebastian; Hedrich, Lars
Pages contribution:
83-101
Editor:
Fummi, Franco; Wille, Robert
Book title:
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Publisher:
Springer International Publishing
Year:
2018
Month:
Jan
Print-ISBN:
978-3-319-62920-9
DOI:
doi:10.1007/978-3-319-62920-9_5
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Elektrotechnik und Informationstechnik
Embedded Systems and Internet of Things (Prof. Steinhorst)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Embedded Systems and Internet of Things (Prof. Steinhorst)
2018