Verification of timed process algebra and beyond

由 ZHANG XIAN
出版 2012

Gateway design for LAN interconnection via ISDN

由 ZHANG, Xian-Yu, DENG, Robert H.
出版 1990

Towards verification of computation orchestration

由 Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
出版 2013

Verifying stateful timed CSP using implicit clocks and zone abstraction

由 SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
出版 2009

Towards verification of computation orchestration

由 DONG, Jin Song, LIU, Yang, SUN, Jun, ZHANG, Xian
出版 2014

Island-based evolutionary computation with diverse surrogates and adaptive knowledge transfer for high-dimensional data-driven optimization

由 ZHANG, Xian-Rong, GONG, Yue-Jiao, CAO, Zhiguang, ZHANG, Jun
出版 2024

Specifying and verifying sensor networks: An experiment of formal methods

由 DONG, Jin Song, SUN, Jing, SUN, Jun, TAGUCHI, Kenji, ZHANG, Xian
出版 2008

Towards formal modelling and verification of pervasive computing systems

由 LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
出版 2014

Formal analysis of pervasive computing systems

由 LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
出版 2012

Thallium isotopic compositions as tracers in environmental studies: a review

由 Zhong, Qiaohui, Qi, Jianying, Liu, Juan, Wang, Jin, Lin, Ke, Ouyang, Qi'en, Zhang, Xian, Wei, Xudong, Xiao, Tangfu, El-Naggar, Ali, Rinklebe, Jörg
出版 2022

Robust RNAi enhancement via human Argonaute-2 overexpression from plasmids, viral vectors and cell lines

由 Börner, Kathleen, Niopek, Dominik, Cotugno, Gabriella, Kaldenbach, Michaela, Pankert, Teresa, Willemsen, Joschka, Zhang, Xian, Schürmann, Nina, Streetz, Konrad, Kräusslich, Hans-Georg, Mockenhaupt, Stefan, Serva, Andrius, Grimm, Dirk, Hiet, Marie-Sophie, Wiedtke, Ellen, Binder, Marco, Castoldi, Mirco, Starkuviene, Vytaute, Erfle, Holger, Bartenschlager, Ralf, Boutros, Michael, Gilbert, Daniel F.
出版 2014