يعرض 51 - 50 نتائج من 50 نتيجة بحث عن '"Nardone, Vittoria"', وقت الاستعلام: 1.26s
تنقيح النتائج
تنقيح النتائج
model checking
15
malware
13
android
11
security
10
formal methods
9
machine learning
7
software
6
android (operating system)
5
temporal logic
5
theoretical computer science
4
automotive
3
can
3
cell phones
3
computer networks and communications
3
hardware and architecture
3
mobile
3
ransomware
3
security management
3
[info.info-ni]computer science [cs]/networking and internet architecture [cs.ni]
2
[info]computer science [cs]
2
artificial intelligence
2
authentication
2
botnet
2
chimeric antigen receptors
2
cluster analysis
2
computer science applications
2
control and systems engineering
2
electrical and electronic engineering
2
experimental automobiles
2
general earth and planetary sciences
2
general environmental science
2
information systems
2
insurance
2
insurance companies
2
obfuscation
2
risk analysis
2
vehicles
2
analytical models
1
automata
1
automobile theft
1
automobiles
1
automotive engineering
1
botnets
1
brakes
1
business and international management
1
calculus
1
classification
1
complex systems
1
compliance checking
1
computer engineering
1
معهد مهندسي الكهرباء والإلكترونيات (آي تريبل إيه)
19
acm
7
elsevier bv
6
سبرينغر ناتشر
6
إلزيفير
4
springer international publishing
4
association for computing machinery
3
institute of electrical and electronics engineers (ieee)
3
hal ccsd
2
kaunas university of technology
2
springer science and business media llc
2
مؤسسة الطباعة الأكاديمية
1
association for computing machinery (acm)
1
country:usa
1
إلزيفير للعلوم
1
ieee computer society
1
institute of electrical and electronics engineers inc.
1
place:piscataway, nj
1
سبرينغر فيرلاغ
1
international journal of information security
3
2015 ieee/acm 3rd fme workshop on formal methods in software engineering
2
2016 ieee 25th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice
2
ieee systems journal
2
علم الحاسوب الإجرائي
2
proceedings of the 19th international conference on mining software repositories
2
proceedings of the 4th fme workshop on formal methods in software engineering
2
soft computing - a fusion of foundations, methodologies & applications
2
2016 11th international conference on availability, reliability & security (ares)
1
2016 11th international conference on availability, reliability and security (ares
1
2016 ieee metrology for aerospace (metroaerospace
1
2017 ieee 26th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice
1
2017 ieee international conference on fuzzy systems (fuzz-ieee
1
2017 ieee international workshop on metrology for aerospace (metroaerospace
1
2017 ieee/acm 5th international fme workshop on formal methods in software engineering (formalise
1
2018 ieee 27th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice
1
2018 ieee international conference on pervasive computing and communications workshops (percom workshops
1
2019 ieee 28th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice
1
2019 international joint conference on neural networks (ijcnn
1
2023 ieee/acm 31st international conference on program comprehension (icpc
1
acm international conference proceeding series
1
acm transactions on software engineering & methodology
1
comput med imaging graph ; issn:1879-0771 ; volume:116
1
computers & electrical engineering
1
formal techniques for distributed objects, components & systems (9783319395692)
1
ieee transactions on intelligent transportation systems
1
ieee transactions on software engineering
1
information technology & control
1
journal of parallel & distributed computing
1
proceedings of the 12th international conference on availability, reliability and security
1
proceedings of the 17th international conference on mining software repositories
1
proceedings of the 2017 acm on asia conference on computer and communications security
1
simulation modelling practice & theory
1
ssrn electronic journal ; issn 1556-5068
1
Universita Degli Studi Del Molise: Iris
11
Sciencedirect (Elsevier - Open Access Articles Via Crossref)
6
Arpi - Archivio Della Ricerca Dell'universita Di Pisa
4
Ecole Polytechnique De Montreal: Polypublie
2
Istituto Nazionale Di Fisica Nucleare (Infn): Open Access Repository
2
Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe)
1
Arud'a - Archivio Istituzionale Della Ricerca Dell'universita Chieti-Pescara (Iris)
1
Pubmed Central (Pmc)
1