( en | de | ru )

 

Disambiguierung von "Bornebusch, Fritjof"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification Runtime Analysis: Get the Most Out of Partial Verification.

, , , , und . DATE, Seite 873-878. IEEE, (2020)

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.

Herbert Bornebusch

Heinz Bornebusch

Hannibal Bornebusch

Carl Bornebusch

Max Bornebusch

 

Weitere Publikationen von Autoren mit dem selben Namen

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications., , , und . MODELSWARD (Revised Selected Papers), Volume 1361 von Communications in Computer and Information Science, Seite 26-48. Springer, (2020)Better Late Than Never : Verification of Embedded Systems After Deployment., , , , und . DATE, Seite 890-895. IEEE, (2019)Towards Automatic Hardware Synthesis from Formal Specification to Implementation., , , und . ASP-DAC, Seite 375-380. IEEE, (2020)Integer Overflow Detection in Hardware Designs at the Specification Level., , , und . MODELSWARD, Seite 41-48. SCITEPRESS, (2020)Verification Runtime Analysis: Get the Most Out of Partial Verification., , , , und . DATE, Seite 873-878. IEEE, (2020)Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages. Bremen University, Germany, (2021)base-search.net (ftsubbremen:oai:media.suub.uni-bremen.de:Publications/elib/4986).Aspekt-basierte Sentiment Analysis., , , , , , , , , und 2 andere Autor(en). GI-Jahrestagung, Volume P-232 von LNI, Seite 2389-2400. GI, (2014)Performance Aspects of Correctness-oriented Synthesis Flows., , , und . MODELSWARD, Seite 76-86. SCITEPRESS, (2021)