Title: Formal methods for industrial critical systems
Subjects: Software engineering, Formale Methode, Model Checking, Computer programs, Zuverlässigkeit, Softwareentwicklung, Congresses, Verification, Sicherheitskritisches System, Reliability, Formal methods (Computer science), Systementwurf, Verifikation, Computer software, Logic design, Computer science
Places: Antwerpen <2010>