- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: NARODYTSKA, Nina, Hrsg., Guy AMIR, Hrsg., Guy KATZ, Hrsg. und andere. Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems : FoMLAS2023. EasyChair, 2023. Kalpa Publications in Computing. 16. ISSN 2515-1762. Verfügbar unter: doi: 10.29007/pvtn
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2023
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-vqdbjrm55ool7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 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
- Boetius, David
- Leue, Stefan
- KOPS Universität Konstanz
Entstanden
- 2023
Ähnliche Objekte (12)
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata
Estimation of interregional freight flows with a gravity model by OLS estimation, Poisson and neural network specifications
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata
Estimation of interregional freight flows with a gravity model by OLS estimation, Poisson and neural network specifications
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata