Rheumatoide Arthritis
- 期刊名称Zeitschrift für Rheumatologie
- 作者Aletaha, D.; Kerschbaumer, A.
- 卷第76卷
- 期第1期
- 印刷ISSN0340-1855
- 电子ISSN1435-1250
- 文件大小236.46KB
- 发表时间2017-2
- DOI10.1007/s00393-016-0251-7
- 页码8-14
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