Title |
Re-engineering approach for PLC programs based on formal methods = Re-Engineering-Ansatz für SPS-Programme auf Basis formaler Beschreibungen / Mohammed Bani Younis |
|---|---|
Involved |
Mohammed Bani Younis (Verfasser) |
Published |
Aachen: Shaker |
Extent |
V, 148 S. : Ill., graph. Darst. |
Thesis |
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2006 |
ISBN |
978-3-8322-5674-6 |
Language |
|
Country |
|
Topic |
|
Subject |
Speicherprogrammierte Steuerung, Programmierbare logische Anordnung, Programmierumgebung, Reengineering, Formale Methode, XML |
DDC notation |
|
Series |
Berichte aus der Automatisierungstechnik |
Other editions |
Erscheint auch als Online-Ausgabe: Re-Engineering Approach for PLC Programs based on Formal Methods : Re-Engineering-Ansatz für SPS-Programme auf Basis formaler Beschreibungen |
Record ID |
982108133 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: