miso_uam, profile picture

miso_uam

33 Slideshow
Sort by
AI-ASSISTED METAMORPHIC TESTING FOR DOMAIN-SPECIFIC MODELLING AND SIMULATION
bymiso_uam
 
Software development... for all? (keynote at ICSOFT'2024)
bymiso_uam
 
Model-driven engineering for AR
bymiso_uam
 
Capone.pdf
bymiso_uam
 
MLE_keynote.pdf
bymiso_uam
 
Multi21
bymiso_uam
 
MLMPLs
bymiso_uam
 
Scientific writing
bymiso_uam
 
Facets_UCM
bymiso_uam
 
SLE_MIP08
bymiso_uam
 
mtATL
bymiso_uam
 
Máster en Métodos Formales en Ingeniería Informática
bymiso_uam
 
Analysing-MMPLs
bymiso_uam
 
Facets
bymiso_uam
 
kite
bymiso_uam