Search Results (All Fields:"formal methods")

Resultados de la Navegación (5)

RSS para este conjunto de resultadosRSS para este conjunto de resultados

Refinar

  Search Relevance Visitas Descargas
Horcas, José Miguel, Galindo, José A., Heradio, Rubén, Fernández Amoros, David y Benavides, David . (2023) A Monte Carlo tree search conceptual framework for feature model analyses.  0.50 46 11
Bayarri, Vicente, Sebastián, Miguel A. y Ripoll, Sergio . (2019) Hyperspectral Imaging Techniques for the Study, Conservation and Management of Rock Art.  0.50 42 13
Sáez López, José Manuel, Miller, John, Vázquez Cano, Esteban and Domínguez Garrido, María Concepción . (2015) Exploring application, attitudes and integration of video games: MinecraftEdu in Middle School.  0.44 800 1338
Hernández-González, Jerónimo y Herrera, Pedro Javier . (2023) On the Supervision of Peer Assessment Tasks: An Efficient Instructor Guidance Technique.  0.44 52 18
David, P., Mignard, F., Hestroffer, D., P. Tanga2 y Sarro Baro, Luis Manuel . (2023) Gaia Focused Product Release:Asteroid orbital solution. Properties and assessment.  0.38 41 14