Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- EM algorithm 1
- History of engineering & technology 1
- Maude 1
- Nervos CKB 1
- Technology: general issues 1
- UPPAAL 1
- bisimulation 1
- branch coverage 1
- checkpointing 1
- coalgebra 1
- composition 1
- concurrent software systems 1
- consensus protocol 1
- cross-project prediction 1
- data-flows 1
- deep learning 1
- eventual property 1
- feature selection 1
- fuzzy automata 1
- fuzzy language 1
- generalized failure count data 1
- genetic algorithm 1
- human-error factors 1
- island-based model 1
- long short-term memory 1
- maximum likelihood estimation 1
- metamorphic relations
- metamorphic testing 1
- model checking 1
- model-checking 1
-
1
