Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstru... (Bog, Paperback / softback, Tysk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Machine learning
  5. Matematisk datateori
  6. Informatik
  7. Computere og hardware
  8. Programmering / softwareudvikling
  9. Verteilte Laufzeitverifikation auf eingebetteten Systemen:...

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen fur asynchrone Prozesse

(Bog, Paperback / softback, Tysk)
Forfatter: Malte Schmitz
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen fur asynchrone Prozesse
Forlag: Springer Fachmedien Wiesbaden

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Computere og hardware Informatik Machine learning Matematisk datateori Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Fachmedien Wiesbaden
Forfatter Malte Schmitz
Type Bog
Format Paperback / softback
Sprog Tysk
Udgave 1. Aufl. 2016
Udgivelsesdato 29-04-2016
Første udgivelsesår 2016
Serie BestMasters
Illustrationer 33 Illustrations, black and white; XXIII, 163 S. 33 Abb.
Originalsprog Germany
Sideantal 163
Indbinding Paperback / softback
Forlag Springer Fachmedien Wiesbaden
Sideoplysninger 163 pages, 33 Illustrations, black and white; XXIII, 163 S. 33 Abb.
Mål 210 x 148
ISBN-13 / EAN-13 9783658128517