ITG-Fb. 320: MBMV 2025

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. – 12. März 2025 in Rostock
mars 2025, 181 pages, ITG-Fachberichte, Anglais
VDE
978-3-8007-6515-7

Autres titres sur ce thème