Mostrando 1 - 4 Resultados de 4 Para Buscar 'Jakobs, Marie', tiempo de consulta: 0.05s Limitar resultados
  1. 1
    por Jakobs, Marie-Christine
    Publicado 2020
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
  2. 2
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
  3. 3
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
  4. 4
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Treatment with the calcineurin inhibitor and immunosuppressant cyclosporine A impairs sensorimotor gating in Dark Agouti rats
Herramientas de búsqueda: RSS