( en | de | ru )

 

Disambiguierung von "Dziwok, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)

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

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)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)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)A KPI-based Condition Monitoring System for the Beer Brewing Process., , , , und . ETFA, Seite 1469-1472. IEEE, (2019)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)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)