Mathematics in Software Reliability and Quality Assurance
| Mathematics in Software Reliability and Quality Assurance |
| Autore | Dohi Tadashi |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (218 p.) |
| Soggetto topico |
History of engineering and technology
Technology: general issues |
| Soggetto non controllato |
bisimulation
branch coverage checkpointing coalgebra composition concurrent software systems consensus protocol cross-project prediction data-flows deep learning EM algorithm eventual property feature selection fuzzy automata fuzzy language generalized failure count data genetic algorithm human-error factors island-based model long short-term memory Maude maximum likelihood estimation metamorphic relations metamorphic testing model checking model-checking moth flame optimization mutation testing Nervos CKB non-homogeneous Poisson process object-oriented optimal rejuvenation-trigger timing petri net phase expansion project similarity and clustering quality assessment regression testing search-based test case generation software defect prediction software rejuvenation software reliability software reliability model specification-based testing steady-state system availability test data generation textual question answering UPPAAL visual question answering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910576884903321 |
Dohi Tadashi
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symmetric and Asymmetric Distributions : Theoretical Developments and Applications
| Symmetric and Asymmetric Distributions : Theoretical Developments and Applications |
| Autore | Gómez Déniz Emilio |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (146 p.) |
| Soggetto topico |
Humanities
Social interaction |
| Soggetto non controllato |
asymmetric bimodal distribution
bimodal bimodality bivariate densities EM algorithm Epsilon-skew-Cauchy Epsilon-skew-Normal Fisher information matrix fitting distributions flexible skew-normal distribution generalized Cauchy distributions half-normal distribution identifiability kurtosis likelihood maximum likelihood maximum likelihood estimates maximum likelihood estimation moments normal distribution ordering positive and negative skewness power-normal distribution probabilistic distribution class skew Birnbaum-Saunders distribution skewness coefficient slashed half-normal distribution truncation type I and II censoring Weibull censored data |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Symmetric and Asymmetric Distributions |
| Record Nr. | UNINA-9910557299303321 |
Gómez Déniz Emilio
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||