1- An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
YAĞMAHAN MEHMET SAİD NUR,Rezazadeh Abdolbaghi,Butler Michael 25.06.2024, Yayın Yeri:10th International Conference on Rigorous State-Based Methods Uluslararası Tam metin bildiri
1- The Evolution of Ideas in Computing
Lisans 2025-2026 İngilizce 3
2- Discrete Mathematics
Lisans 2025-2026 İngilizce 3
3- Software Engineering
Lisans 2025-2026 İngilizce 3
4- Yazılım Modelleme ve Tasarım
Lisans 2025-2026 Türkçe 3
5- Bilgisayar Mimarisi
Lisans 2025-2026 Türkçe 3
6- Software Modelling and Design
Lisans 2025-2026 İngilizce 3
7- Computer Architecture
Lisans 2025-2026 İngilizce 3
8- Unix
Lisans 2024-2025 Türkçe 3
9- Discrete Mathematics
Lisans 2024-2025 İngilizce 3
