Вы здесь

Главная

model-based

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

Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016
Evolutionary Mulri-Criterion Optimization: Proc./9th International Conference, EMO 2017, Munster, Germany, March 2017
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013
Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014
Mastering Scale and Complexity in Software Reuse: Proc./16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 2017
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2010
Recommender Systems: The Textbook
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
SDL 2015: Model-Driven Engineering for Smart Cities: Proc./17th International SDL Forum, Berlin, Germany, October 2015
Testing Software and Systems: Proc./27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 2015
Tests and Proofs: Proc./7th International Conference, TAP 2013, Budapest, Hungary, June 2013
User Modeling, Adaption, and Personalization: Proc./19th International Conference, UMAP 2011, Girona, Spain, July 2011