Вы здесь

Главная

безопасность по

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

Computer Security: Revised Selected Papers/ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 2020
Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016
Formal Methods and Software Engineering: Proc./19th International Conference on FEM, ICFEM 2017, Xi an, China, November 2017
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016
Security and Trust Management: Proc./17th International Workshop, STM 2021, Darmstadt, Germany, October 2021
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021
Trusted Systems: Revised Selected Papers/7th International Conference, INTRUST 2015, Beijing, China, December 2015