- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2024
- Urheber
- DOI
-
10.18154/RWTH-2024-09038
- URN
-
urn:nbn:de:101:1-2409290133230.299420051444
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aubard, Martin
- Antal, László
- Madureira, Ana
- Ábrahám, Erika
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2024
Ähnliche Objekte (12)
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection
Abstract Interface Behavior of Object-Oriented Languages with Monitors
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
An open structural operational semantics for an object-oriented calculus with thread classes
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Optimal planning modulo theories
Reachability analysis of non-linear hybrid systems using Taylor Models
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Recent developments in theory and tool support for hybrid systems verification with HyPro
Integrating virtual substitution into strategic SMT solving
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection
Abstract Interface Behavior of Object-Oriented Languages with Monitors
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
An open structural operational semantics for an object-oriented calculus with thread classes
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Optimal planning modulo theories
Reachability analysis of non-linear hybrid systems using Taylor Models
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Recent developments in theory and tool support for hybrid systems verification with HyPro
Integrating virtual substitution into strategic SMT solving
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection
Abstract Interface Behavior of Object-Oriented Languages with Monitors
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
An open structural operational semantics for an object-oriented calculus with thread classes
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Optimal planning modulo theories
Reachability analysis of non-linear hybrid systems using Taylor Models
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Recent developments in theory and tool support for hybrid systems verification with HyPro