Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nestor, Victor
11  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

An Unsupervised Method for the Detection of and Tracking of..:

, In: IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium,
De, Shaunak ; Jensen, Kat ; Cazcarra-Bes, Victor... - p. 7206-7209 , 2023
Link: https://doi.org/10.1109/..
 
?
2

The New Capella Space Satellite Generation: Acadia:

, In: IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium,
Farquharson, Gordon ; Castelletti, Davide ; De, Shaunak... - p. 1513-1516 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Undertaking the tokeneer challenge in event-b:

, In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering,
Rivera, Víctor ; Bhattacharya, Sukriti ; Cataño, Néstor - p. 8-14 , 2016
Link: https://dl.acm.org/doi/1..
 
?
4

Undertaking the Tokeneer Challenge in Event-B:

, In: 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE),
Rivera, Victor ; Bhattacharya, Sukriti ; Catano, Nestor - p. 8-14 , 2016
Link: https://doi.org/10.1145/..
 
?
5

Translating event-B to JML-specified Java programs:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
Rivera, Víctor ; Cataño, Néstor - p. 1264-1271 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

The EventB2Dafny rodin plug-in:

, In: Proceedings of the Second International Workshop on Developing Tools as Plug-Ins,
Cataño, Néstor ; Leino, K. Rustan M. ; Rivera, Víctor - p. 49-54 , 2012
Link: https://dl.acm.org/doi/1..
 
?
7

Translating B machines to JML specifications:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
Cataño, Néstor ; Wahls, Tim ; Rueda, Camilo.. - p. 1271-1277 , 2012
Link: https://dl.acm.org/doi/1..
 
?
8

APINET: A Methodology for Deploying Deep and Machine Learni..:

, In: 2023 Mexican International Conference on Computer Science (ENC),
Cabada, Ramon Zatarain ; Estrada, Maria Lucia Barron ; Lopez, Nestor Leyva.. - p. 1-7 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Bibliometrics and Science Mapping of Digital Marketing:

, In: Marketing and Smart Technologies; Smart Innovation, Systems and Technologies,
León-Castro, Marcelo ; Rodríguez-Insuasti, Homero ; Montalván-Burbano, Néstor. - p. 95-107 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Lean Manufacturing Model of Production Management Under the..:

, In: Advances in Intelligent Systems and Computing; Advances in Human Factors, Business Management and Leadership,
Fernández-Marca, Diana ; Mostacero-Rojas, Karla ; Núñez-Ponce, Víctor... - p. 448-454 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Dynamic risk assessment tool for customer IoT infrastructur..:

, In: 2023 JNIC Cybersecurity Conference (JNIC),
Fernandez, Victor Garcia ; Rodriguez Perez, Nestor ; Minarro, Roberto Gesteira... - p. 1-4 , 2023
Link: https://doi.org/10.23919..
 
1-11