From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

S. Schivo, B. Yildiz, E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, и M. Stoelinga. SETTA, том 10606 из Lecture Notes in Computer Science, стр. 319-336. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Uwe Dziwok

Franz Dziwok

Klaus Dziwok

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-DialogS. Schwärzler. TU München, (2010)

Stefan Weiß

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

Другие публикации лиц с тем же именем

Automata-based refinement checking for real-time systems.C. Heinzemann, C. Brenner, S. Dziwok, и W. Schäfer. Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)Scenario-based specification of security protocols and transformation to security model checkers.T. Koch, S. Dziwok, J. Holtmann, и E. Bodden. MoDELS, стр. 343-353. ACM, (2020)Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.K. Altemeier, M. Becker, S. Dziwok, T. Koch, и S. Merschjohann. PVM, том P-298 из LNI, стр. 247-252. Gesellschaft für Informatik e.V., (2019)Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus.M. Fazal-Baqaie, J. Strüwer, D. Schmelter, и S. Dziwok. PVM, том P-298 из LNI, стр. 31-43. Gesellschaft für Informatik e.V., (2019)How far are German companies in improving security through static program analysis tools?G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, и E. Bodden. SecDev, стр. 7-15. IEEE, (2022)Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.S. Dziwok, S. Goschin, и S. Becker. ModComp@MoDELS, том 1281 из CEUR Workshop Proceedings, стр. 16-25. CEUR-WS.org, (2014)A KPI-based Condition Monitoring System for the Beer Brewing Process.F. Pasic, B. Wohlers, S. Dziwok, M. Becker, и M. Heinrich. ETFA, стр. 1469-1472. IEEE, (2019)Coaching on the Job bei Unternehmen des Maschinenbaus.M. Fazal-Baqaie, J. Strüwer, D. Schmelter, и S. Dziwok. SE, том P-300 из LNI, стр. 201-207. Gesellschaft für Informatik e.V., (2020)Specification and verification for real-time coordination protocols of cyber-physical systems.S. Dziwok. University of Paderborn, Germany, (2017)Integrating Security Protocols in Scenario-based Requirements Specifications.T. Koch, S. Trippel, S. Dziwok, и E. Bodden. MODELSWARD, стр. 15-25. SCITEPRESS, (2022)

BibSonomy

Disambiguation