( en | de | ru )

 

Disambiguierung von "Pereira, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards certified compilation of RTFM-core applications.

, , , und . ETFA, Seite 1-6. IEEE, (2016)

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.

Roberto Pereira

Marcos Pereira

Tiago Pereira

Sílvia Pereira

Gislene Pereira

 

Weitere Publikationen von Autoren mit dem selben Namen

Response time for IEC 61499 over Ethernet., , , , , und . INDIN, Seite 1206-1212. IEEE, (2015)Abstract timers and their implementation onto the ARM Cortex-M family of MCUs., , , , , und . SIGBED Review, 13 (1): 48-53 (2016)A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring., , und . Ada-Europe, Volume 9111 von Lecture Notes in Computer Science, Seite 66-82. Springer, (2015)Logic-based schedulability analysis for compositional hard real-time embedded systems., , , und . SIGBED Review, 12 (1): 56-64 (2015)A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems., , , , , , , , , und 5 andere Autor(en). QUATIC, Volume 1439 von Communications in Computer and Information Science, Seite 325-340. Springer, (2021)Towards certified program logics for the verification of imperative programs. University of Porto, Portugal, (2013)A Domain Specific Language for Automotive Systems Integration., , , und . IECON, Seite 4483-4488. IEEE, (2019)REVERT: Runtime Verification for Real-Time Systems., , , und . RTSS, Seite 365. IEEE Computer Society, (2016)Real-time MTL with durations as SMT with applications to schedulability analysis., , , und . TASE, Seite 49-56. IEEE, (2020)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , und 6 andere Autor(en). DSD, Seite 352-359. IEEE, (2020)