LIBROS DEL AUTOR: malte schmitz

1 resultados para LIBROS DEL AUTOR: malte schmitz

malte schmitz Eliminar filtro Quitar filtros
  • Verteilte Laufzeitverifikation auf eingebetteten Systemen
    Malte Schmitz
    In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere un...
    Disponible

    79,20 €