Вы здесь

Главная

системная архитектура

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

Formal Methods for Eternal Networked Software System: Advanced Lectures/11th International School on Formal Methods for the Design of Computer..., SFM 2011, Bertinoro, Italy, June 2011
Information and Communication Technology: Proc./3rd IFIP TC 5/8 International Conference, ICT-EurAsia 2015 and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015 Held as Part of WCC 2015, Daejeon, Korea, October 2015
Model-Based Safety and Assessment: Proc./6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 2019
Modelling Foundations and Applications: Proc./14th European Conference, ECMFA 2018 Held as Part of STAF 2018, Toulouse, France, June 2018