Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alice A. Miller
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Towards Automated fUML Model Verification With Petri Nets
Hybrid Minutiae-Based Architecture for Automated Fingerprint Verification System
International Journal of Computer Applications
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
How to Cook an Automated System for Linux Driver Verification
Experimental Verification of the Weibull Distribution in a Reverberation Chamber
International Journal of Antennas and Propagation
Electronic Engineering
Electrical
Analysis of a Single-Unit System With Weibull Failure and Repair Densities Subject to Server Failure
Malaysian Journal of Science
Multidisciplinary
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
An Automated Vital Sign Monitoring System for Congestive Heart Failure Patients
