Preface: Advances in Formal Methods for Autonomous Systems

Uloženo v:

Podrobná bibliografie
Vydáno v:	Science of computer programming s. 103413
Hlavní autoři:	Luckcuck, Matt, Farrell, Marie, Gleirscher, Mario, Schwammberger, Maike
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.11.2025
ISSN:	0167-6423
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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