( en | de | ru )

 

Disambiguierung von "Dong, Jin Song"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.

, , , , , und . ICECCS, Seite 21-30. IEEE Computer Society, (2018)

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.

ng-jin Song

Jin-song Xu

Jin-Hwa Song

Dong-Jin Park

Dong-Jin Chun

 

Weitere Publikationen von Autoren mit dem selben Namen

BOWL: augmenting the Semantic Web with beliefs., , , , , und . Innov. Syst. Softw. Eng., 11 (3): 203-215 (2015)A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata., , , , , , , und . IEEE Trans. Software Eng., 41 (1): 3-18 (2015)A Semantic Foundation for TCOZ in Unifying Theories of Programming., , und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 321-340. Springer, (2003)TCOZ Approach to OWL-S Process Model Design., , , und . SEKE, Seite 354-359. (2005)Evolution and Runtime Monitoring of Software Systems., , und . SEKE, Seite 343-348. Knowledge Systems Institute Graduate School, (2007)Empirical Study on Transformer-based Techniques for Software Engineering., , , , , und . CoRR, (2023)Formal object modelling techniques and denotational semantics studies. University of Queensland, Australia, (1995)Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base., , , und . URSW, Volume 327 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Fair Model Checking with Process Counter Abstraction., , , , und . FM, Volume 5850 von Lecture Notes in Computer Science, Seite 123-139. Springer, (2009)Verifying Parameterized Timed Security Protocols., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 342-359. Springer, (2015)