SAFECOMPInternational Conference on Computer Safety, Reliability, and Security
References in periodicals archive ?
Contract Modeling and Verification with Formal Specs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case", SAFECOMP 2015
26-29 SAFECOMP 2006-25th International Conference on Computer Safety,
NEW YORK & NEWCASTLE, United Kingdom -- SAFECOMP 2008 - AdaCore, provider of the highest quality Ada tools and support, today welcomed the 150th member to the GNAT Academic Program (GAP), demonstrating the success of the company's grass-roots initiative created to help bring Ada to the forefront of university study.