Autor der Publikation

Relational Test Tables: A Practical Specification Language for Evolution and Security.

, , , , und . FormaliSE@ICSE, Seite 77-86. ACM, (2020)

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

Preventing Technical Debt For Automated Production System Maintenance Using Systematic Change Effort Estimation With Considering Contingent Cost., , und . INDIN, Seite 595-601. IEEE, (2018)A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation., , , , , , , und . IECON, Seite 2949-2954. IEEE, (2018)An Approach to Efficient Test Scheduling for Automated Production Systems., , und . INDIN, Seite 449-454. IEEE, (2019)Architecture-based change impact analysis in cross-disciplinary automated production systems., , , , , und . J. Syst. Softw., (2018)On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems., , , , , und . INDIN, Seite 413-418. IEEE, (2019)Integration of a formal specification approach into CPPS engineering workflow for machinery validation., , , und . INDIN, Seite 1-8. IEEE, (2021)Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen., , , , , und . SE, Volume P-300 von LNI, Seite 45-46. Gesellschaft für Informatik e.V., (2020)An Adaptive Cell Search and Integral Frequency Offset Estimation in Mobile WiMAX., , , und . VTC Spring, IEEE, (2009)An integrated framework for verifying multiple care pathways., , und . TASE, Seite 1-8. IEEE Computer Society, (2017)Achieving delta description of the control software for an automated production system evolution., , , , und . CASE, Seite 1170-1176. IEEE, (2018)