- 5 Ergebnisse
Kleinster Preis: € 48,16, größter Preis: € 59,00, Mittelwert: € 56,83
1
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Grundlagen, Konzepte, Implementierung - Röhs, Malte
Bestellen
bei booklooker.de
€ 59,00
Versand: € 0,00
Röhs, Malte:

Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Grundlagen, Konzepte, Implementierung - Taschenbuch

2010, ISBN: 9783639279054

[ED: Taschenbuch / Paperback], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen ge… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

  - Syndikat Buchdienst
2
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Malte Röhs
Bestellen
bei Thalia.de
€ 59,00
Versand: € 0,00

Malte Röhs:

Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - neues Buch

ISBN: 9783639279054

ID: 116647231

Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme,… Mehr…

No. 23884069 Versandkosten:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)

  -
3
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Malte Röhs
Bestellen
bei Dodax.de
€ 59,00
Versand: € 0,00
Malte Röhs:
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - neues Buch

ISBN: 9783639279054

ID: e55769bcdf1576540e70b0319f52135a

Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme,… Mehr…

Nr. 57c3762d8febf114838ebca4 Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 5 Tage, DE. (EUR 0.00)

  -
Bezahlte Anzeige
4
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Grundlagen, Konzepte, Implementierung
Bestellen
bei booklooker.de
€ 59,00
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Grundlagen, Konzepte, Implementierung - Taschenbuch

2010, ISBN: 9783639279054

[ED: Taschenbuch / Paperback], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen ge… Mehr…

Versandkosten:zzgl. Versandkosten

  - Syndikat Buchdienst
5
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Malte Röhs
Bestellen
bei BookDepository.com
€ 48,16
Versand: € 0,00
Malte Röhs:
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Taschenbuch

ISBN: 9783639279054

Paperback, [PU: VDM Verlag Dr. Müller e.K.]

Versandkosten:Versandkostenfrei (EUR 0.00)

  -

Details zum Buch
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking

Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt.

Detailangaben zum Buch - Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking


EAN (ISBN-13): 9783639279054
ISBN (ISBN-10): 3639279050
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: VDM Verlag
124 Seiten
Gewicht: 0,201 kg
Sprache: ger/Deutsch

Buch in der Datenbank seit 2010-11-04T16:12:15+01:00 (Berlin)
Detailseite zuletzt geändert am 2018-02-26T23:57:03+01:00 (Berlin)
ISBN/EAN: 9783639279054

ISBN - alternative Schreibweisen:
3-639-27905-0, 978-3-639-27905-4


< zum Archiv...