Autor der Publikation

Analyzing the Restart Behavior of Industrial Control Applications.

, , , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 585-588. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language., , und . WETSoM@ICSE, Seite 15-21. ACM, (2016)Automated Test Case Generation for Programmable Logic Controller Code., , und . ISEC, Seite 29:1-29:4. ACM, (2019)A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System., , , und . DIAS/EDUDM@ISEC, Volume 1819 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Analyzing the Restart Behavior of Industrial Control Applications., , , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 585-588. Springer, (2015)Analysis of Industrial Control System Software to Detect Semantic Clones., , , , , und . ICIT, Seite 773-779. IEEE, (2019)Test Suite Minimization of Evolving Software Systems: A Case Study., , , , und . ICSOFT, Seite 226-237. SciTePress, (2019)Solving circular dependencies in industrial automation programs., und . INDIN, Seite 397-404. IEEE, (2016)A static code analysis tool for control system software., , , und . SANER, Seite 459-463. IEEE Computer Society, (2015)A Generic Static Analysis Framework for Domain-specific Languages., , , , und . ETFA, Seite 27-34. IEEE, (2018)Applying software engineering practices for development of industrial automation applications., , , und . INDIN, Seite 558-563. IEEE, (2013)