Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christoph Merdes
Formal Models of Source Reliability
Synthese
Philosophy
Social Sciences
Related publications
Improving Reliability of Myocontrol Using Formal Verification
IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal Medicine
Medicine
Computer Science Applications
Biomedical Engineering
Neuroscience
Reusing Formal Models
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of AADL Models Using UPPAAL
The Formal and Processing Models of CLG
Design of Experiments and Reliability Models
Incorporating Human Performance Reliability Data in System Reliability Models
Calculation Models of Reliability of Petroleum Reservoirs
Bulletin of Prydniprovs’ka State Academy of Civil Engineering and Architecture
New Models for Reliability Growth.
