Verification of programmable logic controller code using model checking and static analysis

Biallas, Sebastian 2016 Shaker Verlag

Kaufen

Jetzt kaufen bei

Link zu diesem Datensatz

https://d-nb.info/1113675047

Titel

Verification of programmable logic controller code using model checking and static analysis

Art des Inhalts

Monographie

Verfassangaben

vorgelegt von Sebastian Biallas

Autor

Biallas, Sebastian

Organisation(en)

• Shaker Verlag

Verlag

Aachen : Shaker Verlag [2016]

Jahr

Erscheinungsdatum: 2016

Umfang/Format

X, 153 Seiten

ISBN/Einband/Preis

9783844047110

Online

https://d-nb.info/1113675047/04

Sprache

eng

Schlagwörter

• Speicherprogrammierte Steuerung
• Programmverifikation
• Model Checking
• Statische Analyse
• Bug
• Debugging
• Abstraktionsebene
• Verfeinerung
• Spezifikationstechnik
• Formale Methode
• Formel Verification
• Programmable Logic Controller

Stand

05.03.2025 17:19

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

Verlagstext laden