Zum Hauptteil springen
EN
Einloggen
TU GRAZ
Repository
Bibliothek und Archiv
WISSEN
TECHNIK
LEIDENSCHAFT
Startseite
Communities
Übersicht
Veröffentlicht im 2014 | Version v1
Dissertation Offen

Diagnosis of LTL specifications using consistency-oriented model-based reasoning

ErstellerInnen

  • Quaritsch, Thomas (aut)

25000_5677_quaritsch_thomas_2014.pdf
Dateien (1.6 MB)
Name Größe
25000_5677_quaritsch_thomas_2014.pdf
md5:3a5ed7c6efb66c1e1838689a01424df1
1.6 MB Vorschau Herunterladen

Informationen zum Eintrag

Erstellt: 11. August 2022 | Bearbeitet: 27. Mai 2025
Zum Seitenbeginn
47
Views
10
Downloads

Details

10.3217/jjm09-hhk20
DOI-Abzeichen

DOI

10.3217/jjm09-hhk20

Markdown

[![DOI](https://repository.tugraz.at/badge/DOI/10.3217/jjm09-hhk20.svg)](https://doi.org/10.3217/jjm09-hhk20)

reStructuredText

.. image:: https://repository.tugraz.at/badge/DOI/10.3217/jjm09-hhk20.svg
  :target: https://doi.org/10.3217/jjm09-hhk20

HTML

<a href="https://doi.org/10.3217/jjm09-hhk20"><img src="https://repository.tugraz.at/badge/DOI/10.3217/jjm09-hhk20.svg" alt="DOI"></a>

Image URL

https://repository.tugraz.at/badge/DOI/10.3217/jjm09-hhk20.svg

Target URL

https://doi.org/10.3217/jjm09-hhk20
Name: Quaritsch, Thomas
Titel: Diagnosis of LTL specifications using consistency-oriented model-based reasoning
Ressource-Typ: Dissertation
Veröffentlicht: 2014
Sprache: eng

Exportieren

Repository

Dokumentation
Handbuch
Suchanleitung
Datenschutzerklärung
Nutzungsbedingungen

Features

Skalierbarkeit
Institutionelle Einbindung
Repositorium der nächsten Generation
Repositorienprofile
Resilient, widerstandsfähig

Verbundene Services

PURE
CampusOnline
Forschungsdatenmanagement

Barrierefreiheit

Tipp:
Verwenden Sie Strg+ und Strg-
Um die Schriftgröße zu ändern.
Powered by InvenioRDM logo
Enabled by Fair Data Austria
Supported by Open Education Austria
Listed on Registry of Research Data Repositories
Powered by InvenioRDM