Вы здесь

Главная

валидация

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

Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009
Epistemological Aspects of Computer Simulation in the Social Sciences: Revised Selected and Invited Papers/ Second International Workshop, EPOS 2006, Brescia, Italy, October 2006
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Hardware and Software: Verification and Testing: Revised Selected Papers/6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 2010
Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010
Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010
Multi-Agent-Based Simulation XIV: Revised Selected Papers/ International Workshop, MABS 2013, Saint Paul,MN,USA, May 2013
NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011
Requirements Engineering: Foundation for Software Quality: Proc./20th International Working Conference, REFSQ 2014, Essen, Germany, April 2014
Risk Assessment and Risk-Driven Testing: Revised Selected Papers/1st International Workshop, RISK 2013 Held in Conjaction with ICTSS 2013, Istanbul,Turkey, November 2013
Software Engineering for Resilient Systems: Proc./7th International Workshop, SERENE 2015, Paris, France, September 2015
Traffic Monitoring and Analysis: Proc./6th International Workshop, TMA 2014, London, UK, April 2014
Transactions on Edutainment XII
Wireless Algorithms, Systems, and Applications: Proc./10th International Conference, WASA 2015, Qufu, China, August 2015
Автоматический анализ и верификация распределенных систем реального времени
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня
Национальная система электронных цифровых подписей как открытая система
Поиск по образцу для валидации бизнес-правил
Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения