Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de 53.49 EUR
53.49 EUR
02-07-2026 11:08:43
Ein Band aus der fünften VSTTE-Konferenz präsentiert aktuelle Forschung zu formalen Methoden, Analysewerkzeugen und experimentellen Validierungen in der Softwareverifikation und zeigt praxisnahe Anwendungen für sichere Systeme.
