( en | de | ru )

 

Disambiguierung von "Dziwok, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automata-based refinement checking for real-time systems.

, , , und . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (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.

Uwe Dziwok

Franz Dziwok

Klaus Dziwok

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design., , , , und . PVM, Volume P-298 von LNI, Seite 247-252. Gesellschaft für Informatik e.V., (2019)Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus., , , und . PVM, Volume P-298 von LNI, Seite 31-43. Gesellschaft für Informatik e.V., (2019)Specification and verification for real-time coordination protocols of cyber-physical systems.. University of Paderborn, Germany, (2017)Integrating Security Protocols in Scenario-based Requirements Specifications., , , und . MODELSWARD, Seite 15-25. SCITEPRESS, (2022)Coaching on the Job bei Unternehmen des Maschinenbaus., , , und . SE, Volume P-300 von LNI, Seite 201-207. Gesellschaft für Informatik e.V., (2020)Automata-based refinement checking for real-time systems., , , und . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)Scenario-based specification of security protocols and transformation to security model checkers., , , und . MoDELS, Seite 343-353. ACM, (2020)Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report., , , , , und . AMCIS, Association for Information Systems, (2024)How far are German companies in improving security through static program analysis tools?, , , , und . SecDev, Seite 7-15. IEEE, (2022)Specifying Intra-Component Dependencies for Synthesizing Component Behaviors., , und . ModComp@MoDELS, Volume 1281 von CEUR Workshop Proceedings, Seite 16-25. CEUR-WS.org, (2014)