Title: Formal Methods for Industrial Critical Systems
Subjects: Logic design, Computer science, Software engineering, Formal methods (Computer science), Congresses, Computer programs, Verification, Reliability, Computer software, Programmverifikation, Kongress, Softwarespezifikation, Formale Methode, Zuverlässigkeit, Sicherheitskritisches System, Eingebettetes System, Softwareentwicklung, Fehlertoleranz, Systementwurf, Model Checking, Verifikation, System design