Resultados de búsqueda - Bucev, Mario

  • Mostrando 1 - 1 Resultados de 1
Limitar resultados
  1. 1
    Imagen de Portada

    Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study Autoría: Bucev, Mario, Chassot, Samuel, Felix, Simon, Schramka, Filip, Kunčak, Viktor

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: