Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.

Dieses Ergebnis aus IEEE Xplore Digital Library kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Formal Methods for Autonomous Vehicles

Title:	Formal Methods for Autonomous Vehicles
Authors:	Provan, G.; Margaria, T.
Source:	IT Professional IT Prof. IT Professional. 26(1):50-56 Jan, 2024
Database:	IEEE Xplore Digital Library