Rivera, Víctor
1751  Ergebnisse:
Personensuche X
?
1

Cryptocurrency Payment System Model for B2C E-Commerce Plat..:

, In: 2023 International Conference on Electrical, Computer and Energy Technologies (ICECET),
 
?
 
?
5

Duplex Sequencing Identifies Low Level ABL1 Kinase Domain M..:

Short, Nicholas ; Kantarjian, Hagop ; Sasaki, Koji...
Clinical Lymphoma Myeloma and Leukemia.  19 (2019)  - p. S186 , 2019
 
?
9

Undertaking the Tokeneer Challenge in Event-B:

, In: 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE),
 
?
10

Undertaking the tokeneer challenge in event-b:

, In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering,
 
?
11

Impact of Landmark Responses on 3-Year Outcomes in CP-CML P..:

Talpaz, Moshe ; Müller, Martin ; Baccarani, Michele...
Clinical Lymphoma Myeloma and Leukemia.  16 (2016)  - p. S61-S62 , 2016
 
?
13

Relationship Tunnel Vision : Altered Social Interaction ..:

, In: Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction,
 
?
14

Code generation for Event-B:

Rivera, Víctor ; Cataño, Néstor ; Wahls, Tim.
International Journal on Software Tools for Technology Transfer.  19 (2015)  1 - p. 31-52 , 2015
 
?
15

Paralytic shellfish toxins in clinical matrices: Extension ..:

DeGrasse, Stacey ; Rivera, Victor ; Roach, John...
Deep Sea Research Part II: Topical Studies in Oceanography.  103 (2014)  - p. 368-375 , 2014
 
1-15