Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying DAML+OIL and Beyond in Z/EVES.

J. Dong, C. Lee, Y. Li, und H. Wang. ICSE, Seite 201-210. IEEE Computer Society, (2004)

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.

Laura-Ann Dönges University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Dr. rer. nat. Bin Song University of Stuttgart

Han Song University of Stuttgart

Jianing Song University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

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