Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems

Becker, B., Behle, M., Eisenbrand, F., Fränzle, M., Herbstritt, M., Herde, C., et al. (2004). Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 65-75). Aachen: Shaker.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2A40-E Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-A180-8
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
ber-bec2004.pdf (Verlagsversion), 172KB
 
Datei-Permalink:
-
Name:
ber-bec2004.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Becker, Bernd1, Autor
Behle, Markus2, Autor           
Eisenbrand, Friedrich3, Autor           
Fränzle, Martin1, Autor
Herbstritt, Marc1, Autor
Herde, Christian1, Autor
Hoffmann, Jörg4, Autor           
Kröning, Daniel4, Autor           
Nebel, Bernhard1, Autor
Polian, Ilia1, Autor
Wimmer, Ralf1, Autor
Stoffel, Dominik1, Herausgeber
Kunz, Wolfgang1, Herausgeber
Affiliations:
1External Organizations, ou_persistent22              
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              
3Discrete Optimization, MPI for Informatics, Max Planck Society, ou_1116548              
4Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2005-05-312004
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 231832
Anderer: Local-ID: C1256BDD00205AD6-C93D802B674A8217C1256FA200595B8B-ber-bec2004
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation
Veranstaltungsort: Kaiserslautern, Germany
Start-/Enddatum: 2004-02-08

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
  Untertitel : 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Aachen : Shaker
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 65 - 75 Identifikator: ISBN: 3-8322-2486-6