( en | de | ru )

 

Disambiguierung von "Farias, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

, , , , , , , , , , , und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 376-380. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Víctor Farías

Ignacio Farías

Horst Bruno

Horst Bruno

Eugen Bruno

 

Weitere Publikationen von Autoren mit dem selben Namen

A Methodology for Convergence Between Ginga and HbbTV., , , , und . ICCE, Seite 1-4. IEEE, (2019)A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams., , , , , , und . Softw. Test. Verification Reliab., (2023)ESBMC v7.4: Harnessing the Power of Intervals., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers., , , , , , und . ICCE, Seite 1-6. IEEE, (2022)Extensions to Middleware Ginga for Integration with IoT Environments., , , und . ICCE, Seite 1-5. IEEE, (2020)Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams., , , , , und . ICCE-TW, Seite 1-2. IEEE, (2019)A Methodology for Automatic Evaluation of DTV Signals., , , , , , und . ICCE, Seite 1-6. IEEE, (2021)An Architecture to Emulate Television Receivers., , , , , , , , und . ICCE, Seite 1-6. IEEE, (2024)A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D., , , , und . ICCE, Seite 1-5. IEEE, (2020)A Methodology for Providing Encrypted-Content Decoding in DTV Play., , , , , , , , und . ICCE, Seite 1-6. IEEE, (2021)