( en | de | ru )

 

Disambiguierung von "Schlatte, Rudolf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases

, , , , , , , , , und . Norwegian Big Data Symposium (NOBIDS) 2016, Trondheim, Norway, CEUR, (2016)To appear.

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.

Gerald Schlatte

Rudolf Hoppe

Rudolf Köhling

Rudolf Schäfer

Rudolf Albert

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrating deployment architectures and resource consumption in timed object-oriented models., , und . J. Log. Algebraic Methods Program., 84 (1): 67-91 (2015)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , und . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , und . FMDT@FM, Volume 3507 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Modeling Application-Level Management of Virtualized Resources in ABS., , und . FMCO, Volume 7542 von Lecture Notes in Computer Science, Seite 89-108. Springer, (2011)Scalable End-User Access to Big Data, , , , , , , , , und 6 andere Autor(en). Big Data Computing, CRC Press, (2013)Validating Timed Models of Deployment Components with Parametric Concurrency., , , und . FoVeOOS, Volume 6528 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2010)A Note on Idleness Detection of Actor Systems.. The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 437-445. Springer, (2022)Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 188-204. Springer, (2022)Designing Distributed Control with Hybrid Active Objects., , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 88-108. Springer, (2020)Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study., , , , und . ESOCC, Volume 7592 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2012)