Beato, Mª Encarnación
~ 300  Ergebnisse:
Personensuche X
?
3

An "abstract process" approach to algebraic dynamic archite..:

Cuesta, Carlos E. ; de la Fuente, Pablo ; Barrio-Solórzano, Manuel.
The Journal of Logic and Algebraic Programming.  63 (2005)  2 - p. 177-214 , 2005
 
?
4

UML Automatic Verification Tool with Formal Methods:

Beato, M. Encarnación ; Barrio-Solórzano, Manuel ; Cuesta, Carlos E..
Electronic Notes in Theoretical Computer Science.  127 (2005)  4 - p. 3-16 , 2005
 
?
5

SCIFI-II: An Event Mesh Solution Based on CloudEvents for I..:

, In: Advances in Intelligent Systems and Computing; New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence,
 
?
 
1-15