( en | de | ru )

 

Disambiguierung von "Pereira, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
REVERT: Runtime Verification for Real-Time Systems.

, , , und . RTSS, Seite 365. IEEE Computer Society, (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

Tiago Pereira

Marcos Pereira

Sílvia Pereira

Gislene Pereira

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards certified compilation of RTFM-core applications., , , und . ETFA, Seite 1-6. IEEE, (2016)Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs., , , , , und . EWiLi, Volume 1464 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Response time for IEC 61499 over Ethernet., , , , , und . INDIN, Seite 1206-1212. IEEE, (2015)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)Towards certified program logics for the verification of imperative programs. University of Porto, Portugal, (2013)REVERT: Runtime Verification for Real-Time Systems., , , und . RTSS, Seite 365. IEEE Computer Society, (2016)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , und 6 andere Autor(en). DSD, Seite 352-359. IEEE, (2020)A Domain Specific Language for Automotive Systems Integration., , , und . IECON, Seite 4483-4488. IEEE, (2019)Real-time MTL with durations as SMT with applications to schedulability analysis., , , und . TASE, Seite 49-56. IEEE, (2020)Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks., , und . ISSRE Workshops, Seite 237-242. IEEE, (2020)