Formal Methods for Industrial Critical Systems, Fachbücher von Alessandro Fantechi, Darren Cofer
53,49 €
Das Buch "Formal Methods for Industrial Critical Systems" bietet eine umfassende Analyse und Diskussion über die Anwendung formaler Methoden in der Industrie. Es basiert auf den Ergebnissen der FMICS-Workshopreihe, die darauf abzielt, Forscher und Praktiker zusammenzubringen, die sich mit der Entwicklung und Anwendung dieser Methoden beschäftigen. Die Beiträge in diesem Buch decken eine Vielzahl von Themen ab, darunter Design, Spezifikation, Code-Generierung und Testen, die auf formalen Methoden basieren. Zudem werden Herausforderungen und Lösungen im Bereich der Verifikation und Validierung komplexer, verteilter und zeitkritischer Systeme behandelt. Das Buch ist eine wertvolle Ressource für Fachleute, die an der Verbesserung der Anwendbarkeit formaler Methoden in industriellen Kontexten interessiert sind und bietet Einblicke in Fallstudien sowie Erfahrungen aus der Praxis.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
