Вы здесь

Главная

model-based design

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

Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Fundamental Approaches to Software Engineering: Proc./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017
Software Service and Application Engineering: Essays Dedicated to Bernd Kramer on the Occasion of His 65th Birthday