UM

浏览/检索结果: 共6条,第1-6条 帮助

已选(0)清除 条数/页:   排序方式:
A Fully Integrated Low-Dropout Regulator With Differentiator-Based Active Zero Compensation Journal article
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2018,Volume: 65,Issue: 10,Page: 3578-3591
作者:  Bu, Shi;  Leung, Ka Nang;  Lu, Yan;  Guo, Jianping;  Zheng, Yanqi
收藏  |  浏览/下载:4/0  |  提交时间:2018/10/30
Low-dropout regulator  current density  area-efficient  power management  frequency compensation  Miller compensation  
A Fully Integrated Low-Dropout Regulator with Differentiator-Based Active Zero Compensation Journal article
IEEE Transactions on Circuits and Systems I: Regular Papers, 2018,Volume: 65,Issue: 10,Page: 3578-3591
作者:  Bu S.;  Leung K.N.;  Lu Y.;  Guo J.;  Zheng Y.
收藏  |  浏览/下载:2/0  |  提交时间:2019/02/14
area-efficient  current density  frequency compensation  Low-dropout regulator  Miller compensation  power management  
Model querying with graphical notation of QVT relations Journal article
ACM SIGSOFT Software Engineering Notes, 2012,Volume: 37,Issue: 4,Page: 1-8
作者:  Dan Li;  Xiaoshan Li;  Volker Stolz
收藏  |  浏览/下载:7/0  |  提交时间:2019/05/20
Graphical Model Querying  Uml  Qvt  Ocl  Xpath  
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
作者:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
收藏  |  浏览/下载:6/0  |  提交时间: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
作者:  Yin L.;  Liu J.;  Li X.
收藏  |  浏览/下载:4/0  |  提交时间:2019/02/14
Ocl  Requirements Model  Uml  Validation  
Validation of requirement models by automatic prototyping Conference paper
Innovations in Systems and Software Engineering
作者:  Li D.;  Li X.;  Liu J.;  Liu Z.
收藏  |  浏览/下载:3/0  |  提交时间:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML