-
1مؤتمر
المؤلفون: Gandolfi, Alessandro, Pingaro, Natalia, Milani, Gabriele, Ghosh, Siddhartha, Halani, Bhumik
المصدر: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv) Metrology for Living Environment (MetroLivEnv), 2024 IEEE International Workshop on. :241-245 Jun, 2024
Relation: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv)
-
2مؤتمر
المؤلفون: Gandolfi, Alessandro, Pingaro, Natalia, Milani, Gabriele, Ghosh, Siddhartha, Halani, Bhumik
المصدر: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv) Metrology for Living Environment (MetroLivEnv), 2024 IEEE International Workshop on. :246-250 Jun, 2024
Relation: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv)
-
3مؤتمر
المصدر: 2024 IEEE 21st International Conference on Software Architecture (ICSA) ICSA Software Architecture (ICSA), 2024 IEEE 21st International Conference on. :123-134 Jun, 2024
Relation: 2024 IEEE 21st International Conference on Software Architecture (ICSA)
-
4دورية أكاديمية
المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(7):1807-1826 Jul, 2024
-
5مؤتمرVerification Condition Generator for Process-Oriented Programs in Reflex Language Using Isabelle/HOL
المؤلفون: Ishchenko, Artyom D., Anureev, Igor S.
المصدر: 2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM) Young Professionals in Electron Devices and Materials (EDM), 2024 IEEE 25th International Conference of. :1820-1825 Jun, 2024
Relation: 2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM)
-
6مؤتمر
المؤلفون: Fayed, Lynn, Nilsson, Gustav, Geroliminis, Nikolas
المصدر: 2024 European Control Conference (ECC) Control Conference (ECC), 2024 European. :1012-1017 Jun, 2024
Relation: 2024 European Control Conference (ECC)
-
7مؤتمر
المؤلفون: Tippayasem, Nawa, Piromsopa, Krerk
المصدر: 2024 21st International Joint Conference on Computer Science and Software Engineering (JCSSE) Computer Science and Software Engineering (JCSSE), 2024 21st International Joint Conference on. :174-178 Jun, 2024
Relation: 2024 21st International Joint Conference on Computer Science and Software Engineering (JCSSE)
-
8مؤتمر
المؤلفون: Pingaro, Natalia, Gandolfi, Alessandro, Milani, Gabriele, Ghosh, Siddhartha, Halani, Bhumik
المصدر: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv) Metrology for Living Environment (MetroLivEnv), 2024 IEEE International Workshop on. :235-239 Jun, 2024
Relation: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv)
-
9مؤتمر
المؤلفون: Buzzetti, Martina, Acito, Murizio
المصدر: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv) Metrology for Living Environment (MetroLivEnv), 2024 IEEE International Workshop on. :317-321 Jun, 2024
Relation: 2024 IEEE International Workshop on Metrology for Living Environment (MetroLivEnv)
-
10مؤتمر
المؤلفون: de Rosa, Sara, Gringoli, Francesco, Bellicini, Gabriele
المصدر: 2024 22nd Mediterranean Communication and Computer Networking Conference (MedComNet) Communication and Computer Networking Conference (MedComNet), 2024 22nd Mediterranean. :1-10 Jun, 2024
Relation: 2024 22nd Mediterranean Communication and Computer Networking Conference (MedComNet)