المؤلفون: Janislley, Oliveira de Sousa, Lucas Carvalho Cordeiro, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho

المصدر: International Journal on Software Tools for Technology Transfer, (2023-11-07)

مصطلحات موضوعية: Bounded model checking, Software verification, Security vulnerabilities, Open-source software, Large systems

Relation: https://doi.org/10.5281/zenodo.10077387; https://doi.org/10.5281/zenodo.10077388; oai:zenodo.org:10077388

الاتاحة: https://doi.org/10.5281/zenodo.10077388

المؤلفون: Janislley Oliveira de Sousa, Thales Araujo da Silva, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho

مصطلحات موضوعية: Bounded model checking, Software Verification, Security Vulnerabilities, Open-source software, Large systems

Relation: https://doi.org/10.5281/zenodo.6480485; https://doi.org/10.5281/zenodo.6480486; oai:zenodo.org:6480486

الاتاحة: https://doi.org/10.5281/zenodo.6480486

المؤلفون: Rodrigo Ribeiro de Oliveira, Felipe Augusto Souza Guimarães, Mateus Martínez de Lucena, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho, Vicente Ferreira de Lucena

المصدر: Electronics; Volume 10; Issue 24; Pages: 3072

مصطلحات موضوعية: digital multimedia broadcasting, digital TV, field programmable gate arrays, reconfigurable architectures, programmable circuits, transport protocols, TV receivers

وصف الملف: application/pdf

Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics10243072

الاتاحة: https://doi.org/10.3390/electronics10243072