Formal Methods: Applications and Technology
54.99 EUR 53.49 EUR
3% Off
Ein Fachband aus dem 11. International Workshop über formale Methoden für kritische Industriesysteme, der innovative Ansätze zur Modellierung, Verifikation und Tool‑Entwicklung in realen Anwendungen beleuchtet.