SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion: Message from the general chair

由 Dong, J.S.
出版 2013

Message from the General Chair

由 Dong, J.S.
出版 2013

State, event, time and diagram in system modeling

由 Dong, J.S.
出版 2013

From semantic Web to expressive specifications: A modeling languages spectrum

由 Dong, J.S.
出版 2013

Software modeling techniques and the Semantic Web

由 Dong, J.S.
出版 2013

The semantics of extended SOFL

由 Dong, J.S., Liu, S.
出版 2013

Synthesis of distributed processes from scenario-based specifications

由 Sun, J., Dong, J.S.
出版 2013

Software Engineering approaches to Semantic Web

由 Dong, J.S., Dan, D.
出版 2013

Model checking live sequence charts

由 Sun, J., Dong, J.S.
出版 2013

Extracting FSMs from object-Z specifications with history invariants

由 Sun, J., Dong, J.S.
出版 2013

Extending SOFL to support both top-down and bottom-up approaches

由 Liu, S., Song Dong, J.
出版 2014

Raman characteristic peaks induced by the topological defects of carbon nanotube intramolecular junctions

由 Wu, G., Dong, J.
出版 2014

Replica exchange for non-convex optimization

由 Dong, J, Tong, XT
出版 2021

Deep semantic links of TCSP and object-Z: TCOZ approach

由 Mahony, B., Dong, J.S.
出版 2013

SCP special issue on the grand challenge - Preface

由 Dong, J.S., Sun, J.
出版 2013

Design synthesis from interaction and state-based specifications

由 Sun, J., Dong, J.S.
出版 2013

Quadratic stability analysis of fuzzy control systems

由 Yang, G.-H., Dong, J.
出版 2014

Ontology generation through the fusion of partial reuse and relation extraction

由 Tun, N.N., Dong, J.S.
出版 2013

Selective up-regulation of α1-chimaerin mRNA in SK-N-SH neuroblastoma cells by K+-induced depolarisation

由 Dong, J.-M., Lim, L.
出版 2014

Generating MSCs from an integrated formal specification language

由 Dong, J.S., Qin, S., Sun, J.
出版 2013