Resultados da pesquisa - "embedded system"

  1. 41

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

    Publicado em 2023
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  2. 42
  3. 43

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

    Publicado em 2023
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  4. 44
  5. 45

    Circuits and Systems Advances in Near Threshold Computing

    Publicado em 2021
    Assuntos: “...embedded system...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  6. 46

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

    Publicado em 2022
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  7. 47

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Publicado em 2022
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  8. 48

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

    Publicado em 2022
    Assuntos: “...embedded systems...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Electrónico Capítulo de Livro
  9. 49
  10. 50

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

    Publicado em 2021
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  11. 51
  12. 52

    Recent Advances in Embedded Computing, Intelligence and Applications

    Publicado em 2022
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  13. 53

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

    Publicado em 2021
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  14. 54
  15. 55
  16. 56
  17. 57

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

    Publicado em 2022
    Assuntos: “...embedded systems...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  18. 58
  19. 59
  20. 60