Diagnosis and Treatment of 26 Cases of Abdominal Cocoon
- 期刊名称World Journal of Surgery
- 作者Li, Sheng; Wang, Jun-Jiang; Hu, Wei-xian; Zhang, Mou-Cheng; Liu, Xian-Yan; Li, Yong; Cai, Guan-Fu; Liu, Sen-Lin; Yao, Xue-Qing
- 卷第41卷
- 期第5期
- 印刷ISSN0364-2313
- 电子ISSN1432-2323
- 文件大小1146.21KB
- 发表时间2017-5
- DOI10.1007/s00268-016-3855-9
- 页码1287-1294
Specifying and verifying requirements of real-time systemsHansen, Kirsten M.; Ravn, Anders P.; Rischel, Hans · ACM SIGSOFT Software Engineering Notes · 1991
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid system modeling and autonomous control systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || A dynamical simulation facility for hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Models for hybrid systems: Automata, topologies, controllability, observabilityGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || An approach to the description and analysis of hybrid systemsGrossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans · 1993
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Synchronizing clocked transition systemsRavn, Anders P.; Rischel, Hans · 1998
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || The ICOS synthesis environmentRavn, Anders P.; Rischel, Hans · 1998
[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Predictability in critical systemsRavn, Anders P.; Rischel, Hans · 1998