Formal Techniques for Safety-Critical Systems
53.49 EUR
Ein kompakter Sammelband aus dem FTSCS‑Workshop in Paris, der aktuelle Forschung zu formalen Methoden für sicherheitskritische Systeme präsentiert und praxisnahe Anwendungen sowie theoretische Fortschritte beleuchtet.