Preisvergleich / Suche / Wohnen / Büro / Certifying Rule-Based Models using Graph Transformation, Fachbücher von Leen Lambers
Thumbnail - Certifying Rule-Based Models using Graph Transformation, Fachbücher von Leen Lambers

Certifying Rule-Based Models using Graph Transformation, Fachbücher von Leen Lambers

Das Buch "Certifying Rule-Based Models using Graph Transformation" von Leen Lambers bietet eine umfassende Untersuchung der M... Mehr erfahren

Sammle bis zu 44 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis44 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

89,90 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

Das Buch "Certifying Rule-Based Models using Graph Transformation" von Leen Lambers bietet eine umfassende Untersuchung der Modellierung regelbasierter Systeme durch Graphentransformation. Es wird eine neuartige Theorie der Graphentransformation vorgestellt, die nicht nur positive Vor- und Nachbedingungen, sondern auch negative Anwendungsbedingungen berücksichtigt. Diese erweiterte Theorie ermöglicht eine tiefere Analyse von komplexen Strukturen, einschliesslich Petri-Netzen und attributierten Graphen. Die Arbeit führt neue Analysetechniken ein und verbessert bestehende Methoden, um die Zertifizierung von Eigenschaften in regelbasierten Modellen zu unterstützen. Ein praktisches Beispiel, das die Anwendung dieser Techniken veranschaulicht, ist die Fallstudie eines Aufzugsteuerungssystems. Darüber hinaus wird die aktuelle Unterstützung durch Werkzeuge wie AGG für die Zertifizierung von regelbasierten Modellen erläutert.

Informationen

Lieferzeit:2-4 Werktage
Marke:Südwestdeutscher