UM

Browse/Search Results:  1-4 of 4 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
High-speed maglev parallel control and management system-overview and framework Conference paper
ICCSS 2014 - Proceedings: 2014 International Conference on Informative and Cybernetics for Computational Social Systems, Qingdao, PEOPLES R CHINA, OCT 09-10, 2014
Authors:  Gai W.;  Chen D.;  Yin J.;  Chen L.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/13
Acp  Artificial High-speed Maglev System  High-speed Maglev System  Parallel Control  Parallel Management  
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
Validating requirements model of a B2B system Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:  Yin L.;  Liu J.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Ocl  Requirements Model  Uml  Validation  
Quantitative photoacoustic tomography: Recovery of optical absorption coefficient maps of heterogeneous media Conference paper
PHOTONS PLUS ULTRASOUND: IMAGING AND SENSING 2007, San Jose, CA, JAN 21-24, 2007
Authors:  Jiang H.;  Yuan Z.;  Yin L.;  Wang Q.;  Zhang Q.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/17
Imaging  Photoacoustic Tomography  Reconstruction Algorithm