Kein Cover

METAMOC: Modular Execution Time Analysis using Model Checking

Dalsgaard, Andreas E. ; Olesen, Mads Chr. ; Toft, Martin ; Hansen, René Rydhof ; Larsen, Kim Guldstrand 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Link zu diesem Datensatz
https://d-nb.info/1365187721
Titel
METAMOC: Modular Execution Time Analysis using Model Checking
Art des Inhalts
Teil eines Werks
Verfassangaben
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen
Autor(en)
  • Dalsgaard, Andreas E.
  • Olesen, Mads Chr.
  • Toft, Martin
  • Hansen, René Rydhof
  • Larsen, Kim Guldstrand
Verlag
Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2010]
Jahr
Erscheinungsdatum: 2010
Umfang/Format
Online-Ressource
DOI
10.4230/OASIcs.WCET.2010.113
Online
https://doi.org/10.4230/OASIcs.WCET.2010.113
Sprache
eng
Schlagwörter
Stand
12.05.2025 18:20
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite