Вы здесь

Главная

сертификация

Связанные издания:

Certification: Reducing the Hidden Costs of Poor Quality
Certifying Software for High-Assurance Environments
Certifying Temporal Properties for Compiled C Programs
FAA Certification of Ada Run-Time Systems
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Revised Selected Papers/16th Monterey Workshop 2010, Redmont,WA,USA, March/April 2010
Foundations of Computing Software: Future Trends and Techniques for Development: Revised Selected Papers/15th Monterey Workshop 2008, Budapest, Hungary, September 2008
Frontiers in Algorithmics: Proc./4th International Workshop, FAW 2010, Wuhan, China, August 2010
NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 2014
Software-Qualitatsmodelle: Capability Maturity Model (SEI), Bootstrap-Methode, ISO 9000 ff.
Software Safety Certification: A Multidomain Problem
Transactional Memory: Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008
Voting Systems Standards and Certifications
Проблемы информационных технологий 2000 года
Сертификация свободно распространяемых программ: опыт Linux
Спецификация специалистов
Фактографическая сертификация программных средств вычислительной техники