PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dong, Jin Song"

Author of the publication

copydeleteadd this publication to your clipboard
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.

, , , , , and . ICECCS, page 21-30. IEEE Computer Society, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Laura-Ann Dönges University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Qian Song University of Stuttgart

Jianing Song University of Stuttgart

Bowen Song University of Stuttgart

 

Other publications of authors with the same name

Analysing Web Ontology in Alloy: A Military Case Study., , , , and . SEKE, page 542-546. (2003)Computer-aided dispatch system family architecture and verification: an integrated formal approach., , , and . IEE Proceedings - Software, 153 (3): 102-112 (2006)TRMCS in TCOZ., , and . IWSSD, page 63-74. IEEE Computer Society, (2000)A framework for adding time into formal object models., and . WORDS, page 26-31. IEEE Computer Society, (1997)Ontology Generation through the Fusion of Partial Reuse and Relation Extraction., and . KR, page 318-328. AAAI Press, (2008)Class Union and Polymorphism., and . TOOLS (12/9), page 181-190. Prentice Hall, (1993)Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach., and . IJAOSE, 2 (4): 449-474 (2008)Editorial., , , and . Formal Asp. Comput., 21 (4): 303 (2009)An XML/XSL Approach to Visualize and Animate TCOZ., , , and . APSEC, page 453-460. IEEE Computer Society, (2001)State, Event, Time and Diagram in System Modeling.. ICSE, page 733-734. IEEE Computer Society, (2001)