elena-planas documents

Lightweight Static Verification of [UML] Executable Models (An overview)
Technology Lightweight Static Verification of [UML] Executable Models (An overview)
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
Technology PhD Thesis defense: Lightweight and Static verification of UML Executable Models
Document1
Education Document1
El nostre sistema solar definitiu
Education El nostre sistema solar definitiu
Treball estadística educación infantil
Education Treball estadística educación infantil
Fenomens definitiu
Education Fenomens definitiu
Elena chayma ismael
Education Elena chayma ismael
Fenómens metereològics
Education Fenómens metereològics
Les nostres instal·lacions
Education Les nostres instal·lacions
El nostre sistema solar definitiu
Education El nostre sistema solar definitiu
A,b,l
Education A,b,l
Fenòmens marítims definitiu
Education Fenòmens marítims definitiu
Fenomens naturals
Education Fenomens naturals
Mmantec.ppt
Education Mmantec.ppt
Fotos primers dies
Education Fotos primers dies
Projecte dels pingüins
Education Projecte dels pingüins
Projecte cavalls
Education Projecte cavalls
P5 a pinguins emperadors
Education P5 a pinguins emperadors
Lightweight Verification of Executable Models
Technology Lightweight Verification of Executable Models
Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)
Technology Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
Technology Executability Analysis of Graph Transformation Rules (VL/HCC 2011)