Hochschulschrift

Model checking memory-related properties of hardware/software codesigns

zu Verbundenen Objekten

Weitere Titel
Modelchecking Speicher-bezogener Eigenschaften für Hardware/Software Codesigns
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Berlin, Technische Universität Berlin, Diss., 2014

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Technische Universität Berlin
(wann)
2014
Urheber
Beteiligte Personen und Organisationen
Glesner, Sabine
Juurlink, Ben
Drechsler, Rolf

URN
urn:nbn:de:kobv:83-opus4-60600
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 05:29 UTC

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

  • Pockrandt, Marcel
  • Glesner, Sabine
  • Juurlink, Ben
  • Drechsler, Rolf
  • Technische Universität Berlin

Entstanden

  • 2014

Ähnliche Objekte (12)

Efficient software model checking of data structure properties

Efficient software model checking of data structure properties

Model checking software : proceedings

Konferenzschrift

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

IC3 software model checking

IC3 software model checking

Model checking techniques for design and analysis of future hardware and software systems

Hochschulschrift

Model checking techniques for design and analysis of future hardware and software systems

Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems

Hochschulschrift

Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems

Verbundene Objekte