( en | de | ru )

 

Disambiguierung von "Wasowski, Andrzej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Model for Industrial Real-Time Systems.

, , , und . VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 153-171. 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.

Andrzej Piotrowski

Andrzej Tomczyk

Andrzej Szczerbakow

Andrzej Szplit

Andrzej Tamborek

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Generation of Program Families by Model Restrictions. (2004)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , und . CoRR, (2015)Techniques for Efficient Interactive Configuration of Distribution Networks., , und . IJCAI, Seite 100-105. (2007)On efficient program synthesis from statecharts.. LCTES, Seite 163-170. ACM, (2003)Symbolic Semantics for Probabilistic Programs., , , , und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 329-345. Springer, (2023)Modal I/O Automata for Interface and Product Line Theories., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 64-79. Springer, (2007)Finding Suitable Variability Abstractions for Family-Based Analysis., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 217-234. (2016)Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores., , , , , , , und . DPM/CBT@ESORICS, Volume 13619 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2022)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , und . SE/SWM, Volume P-292 von LNI, Seite 91-92. GI, (2019)Identifying Redundancies in Fork-based Development., , , und . SANER, Seite 230-241. IEEE, (2019)