( en | de | ru )

 

Disambiguierung von "Ábrahám, Erika"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

, , und . Sci. Comput. Program., (2015)

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.

Günter Abraham

Norbert Abraham

Kurt Abraham

Hermann Abraham

Abraham Merel

 

Weitere Publikationen von Autoren mit dem selben Namen

A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)Some recent advances in automated analysis., und . Int. J. Softw. Tools Technol. Transf., 18 (2): 121-128 (2016)Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection., , , und . CoRR, (2024)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Levelwise construction of a single cylindrical algebraic cell., , , , , und . CoRR, (2022)Hybrid Sequential Function Charts., und . MBMV, Volume 68 von Forschungsergebnisse zur Informatik, Seite 109-120. Verlag Dr. Kovac, (2012)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 178-188. CEUR-WS.org, (2020)Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems., , und . TTSS, Volume 274 von Electronic Notes in Theoretical Computer Science, Seite 17-32. Elsevier, (2010)