International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)

Subjects

Computer programs, Computer science, Computer software, Congresses, Formal methods (Computer science), Formale Methode, Logic design, Model Checking, Reliability, Sicherheitskritisches System, Software engineering, Softwareentwicklung, Systementwurf, Verification, Verifikation, Zuverlässigkeit

Places

Antwerpen <2010>