Hybrid Modeling and Verification of Embedded Control Systems
- 期刊名称IFAC Proceedings Volumes
- 作者Mosterman, Pieter J; Biswas, Gautam; Sztipanovits, Janos
- 卷第30卷
- 期第4期
- 印刷ISSN1474-6670
- 文件大小1554.33KB
- 发表时间1997-04
- DOI10.1016/s1474-6670(17)43608-1
- 页码33-38
ForewordRomanò, Carlo Luca; Zagra, Luigi · Hip International · 2012
Fluid extravasation during hip arthroscopyStafford, Giles H.; Malviya, Ajay; Villar, Richard N. · Hip International · 2011
HIP: the next chapterBaker, Richard P · Hip International · 2015
Diagnosis of periprosthetic joint infectionsBorens, Olivier; Corvec, Stéphane; Trampuz, Andrej · Hip International · 2012
Surface replacement of the hipSpencer, Robert F. · Hip International · 2014
Hip International in 2015Spencer, Robert F.; Learmonth, Ian D. · Hip International · 2014
Gluteal tumoral calcinosisDel Bravo, Valentina; Liuzza, Francesco; Perisano, Carlo; Chalidis, Byron; Marzetti, Emanuele; Colelli, Pamela; Maccauro, Giulio · Hip International · 2012
Hip International in 2012Spencer, Robert F.; Toni, Aldo; Learmonth, Ian D. · Hip International · 2012