Learn More
Patients with chronic obstructive pulmonary disease (COPD) are at increased risk of osteoporosis. However, the prevalence, correlates and effectiveness of treatment of osteoporosis in COPD patients remain unclear. We performed a systematic review of the literature to answer three questions. 1) What is the prevalence of osteoporosis in COPD? 2) What are(More)
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-conditional equational specii-cations can be written on a higher level. A rewrite system translates the(More)
A central challenge in automating failure-related analysis tasks during a product life-cycle (such as safety analysis and diagnosis) is the choice of an appropriate level of abstraction under which the system is considered. In this paper failure effects within a practical system including a control loop are studied. Existing approaches using quite different(More)
Verification of safety requirements is one important task during the development of safety critical systems. The increasing complexity of systems makes manual analysis almost impossible. This paper introduces a new methodology for formal verification of technical systems with smartIflow (State Machines for Automation of Reliability-related Tasks using(More)
  • 1