Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Verteilte Laufzeitverifikation auf eingebetteten Systemen

Name: Verteilte Laufzeitverifikation auf eingebetteten Systemen
Brand: Springer Fachmedien Wiesbaden
SKU: 10929467
Price: 54.09 EUR
Availability: InStock
Author: Malte Schmitz
ISBN: 9783658128517

Logiken und Monitorkonstruktionen fur asynchrone Prozesse

Malte Schmitz

Lingua

Tedesco

Libro In brossura

Codice Libristo: 10929467

Casa editrice Springer Fachmedien Wiesbaden, aprile 2016

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit... Descrizione completa

Codice Libristo: 10929467

132 b

54.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Journal of a Solitude May Sarton

In brossura

10.29 €

Paura in mezzo a un vasto campo e altri racconti Mustafa Taj Aldeen Almosa

In brossura

23.79 €

One Piece polštář 3D

binding.

30.09 €

Celtic Goddess Oracle Deck KEMP GILLIAN

Carte

16.79 €

XX Brain LISA MOSCONI

In brossura

9.59 €

Implications of Brexit for East Asia David W. F. Huang

In brossura

99.59 €

Weiss Ratings Consumer Box Set, Fall 2018 Weiss Ratings

In brossura

458.69 €

Partie Belle Suivi de La Com'die L'G're(la) Jean-Marc Roberts

In brossura

8.19 €

Etudes Sur La Signification Historique de La Philosophie de Leibniz Fernand Brunner

In brossura

35.39 €

Secrets of the Everlasting Truths: A New Paradigm for Living on Earth Ryuho Okawa

In brossura

12.59 €

Samantha Andrea Kane

In brossura

9.79 €

What Are Schools For? Ron Miller

In brossura

16.29 €

My Religion: Helen Keller's Astounding Triumph Over Deafness and Blindness Helen Keller

CD audio

15.89 €

All Creatures Great and Small James Herriot

In brossura

12.79 €

Dixie Bohemia John Shelton Reed

Rigido

49.69 €

Brazil Harry Greenbaum

Rigido

35.59 €

Codependency Conspiracy: How to Break the Recovery Habit and Take Charge Ofyour Life Stan J. Katz

Rigido

23.89 €

The Garden of Invention: Luther Burbank and the Business of Breeding Plants Jane S. Smith

In brossura

18.59 €

Grammar and Composition Handbook Grade 6 McGraw-Hill/Glencoe

Rigido

63.69 €

Cooking for Isaiah Silvana Nardone

In brossura

13.39 €

Total Memory Workout Cynthia R. Green

In brossura

12.39 €

Power to Save the World Gwyneth Cravens

In brossura

14.09 €

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 und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.§§