García Valls, Marisol
583  results:
Search for persons X
?
 
?
3

Mode Change Protocols for Predictable Contract-Based Resour..:

, In: 2009 International Conference on Embedded Software and Systems,
 
?
 
?
7

Security aspects of full-duplex web interactions and WebSoc..:

, In: 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),
Fu, Yang ; Garcia-Valls, Marisol - p. 1-8 , 2023
 
?
8

Automating the verification of smart contracts in blockchai..:

, In: 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
 
1-15