( en | de | ru )

 

Disambiguierung von "Bliudze, Simon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.

, , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 143-150. Springer, (2023)

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.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Early validation of system requirements and design through correctness-by-construction., , , , und . J. Syst. Softw., (2018)SeBip: A Symbolic Executor for BIP., und . ICECCS, Seite 174-177. IEEE Computer Society, (2015)On optimal hybrid ARQ control schemes for HSDPA with 16QAM., , und . WiMob (1), Seite 121-127. IEEE, (2005)Model-based automated testing of critical PLC programs., , , und . INDIN, Seite 722-727. IEEE, (2013)Extended Connectors: Structuring Glue Operators in BIP., und . ICE, Volume 131 von EPTCS, Seite 20-35. (2013)Automatic Fault Localization for BIP., , , und . SETTA, Volume 9409 von Lecture Notes in Computer Science, Seite 277-283. Springer, (2015)Parameterized Systems in BIP: Design and Model Checking., , , , , und . CONCUR, Volume 59 von LIPIcs, Seite 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Ordering events based on intentionality in cyber-physical systems., , , und . ICCPS, Seite 107-118. IEEE Computer Society / ACM, (2018)Towards a Theory of Glue. ICE, Volume 104 von EPTCS, Seite 48-66. (2012)The algebra of connectors: structuring interaction in BIP., und . EMSOFT, Seite 11-20. ACM, (2007)