糖尿病合理用药410问
- 作者贾立华，刘剑峰主编
- 出版社北京：中国医药科技出版社
- 标注页数142 页
- 文件页数165 页
- 文件大小36.66 MB
- 出版时间2009
- ISBN7506761611
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