Preface: Advances in Formal Methods for Autonomous Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming S. 103413
Hauptverfasser:	Luckcuck, Matt, Farrell, Marie, Gleirscher, Mario, Schwammberger, Maike
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.11.2025
ISSN:	0167-6423
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	0167-6423
DOI:	10.1016/j.scico.2025.103413