Konferenzschrift
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783830062011
383006201X
- Dimensions
-
21 cm, 278 g
- Extent
-
X, 204 S.
- Notes
-
graph. Darst.
Literaturangaben. - Beitr. teilw. dt., teilw. engl.
- Bibliographic citation
-
Schriftenreihe Forschungsergebnisse zur Informatik ; Bd. 68
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Kovač
- (when)
-
2012
- Contributor
-
Brandt, Jens
Schneider, Klaus
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (15 : 2012 : Kaiserslautern)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:07 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Brandt, Jens
- Schneider, Klaus
- Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (15 : 2012 : Kaiserslautern)
- Kovač
Time of origin
- 2012
Other Objects (12)
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon
Klaus Schneider, Bürger zu Tübingen, verkauft an Joß Bemppel von Nürtingen, Chorherrn zu Herrenberg, Gülten aus einem Hof zu Altingen, die er vom Kloster Pfullingen gekauft hat, um 150 fl.
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon
Klaus Schneider, Bürger zu Tübingen, verkauft an Joß Bemppel von Nürtingen, Chorherrn zu Herrenberg, Gülten aus einem Hof zu Altingen, die er vom Kloster Pfullingen gekauft hat, um 150 fl.
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation
Rechnergestützte Signalgewinnung und -verarbeitung zur Auswertung der Hystereseschleife und des Barkhausenrauschens
Acyl-Silyl-Carbene und Acylsilene : Erzeugung und Reaktivität
Strukturaufklärung eines unbekannten Eicosa-Peptids aus menschlicher Samenflüssigkeit mittels einer Kombination von "Liquid-Secondary-Ion"-Massenspektrometrie und Edman-Abbau und Beiträge zur Isolierung und Charakterisierung von Polypeptiden aus Humansperma
Über den Wert der Fluoreszenzangiographie als Hilfe bei der Diagnostik intraocularer Tumoren
Das hereditäre und induzierte Fettsuchtsyndrom der Mäuse und seine Korrelation zu Adipositas und Mast
Wirkungen von Antiandrogenen und Antiöstrogenen auf die Aktivitäten zweier gonadal regulierter Enzymaktivitäten des Testosteron- und Progesteron-Stoffwechsels in der Rattenhypophyse
Der Einfluss von hormonalen Kontrazeptiva, Rauchen und Gravidität auf die Blutgerinnung und Thrombozytenaggregation
Arterielle Insulinspiegel in der frühen Phase nach intravenöser Glucoseapplikation beim stoffwechselgesunden Menschen
Nichtlineare Differntialgleichungssysteme als mathematische Modelle neurophysiologischer Vorgänge
Resonanz-Ionisations-Spektroskopie von Xenon