Italiano (it)formal methods
-
AXMEDIS DE5.0.1.2 -- ANNEX 3 AXMEDIS Plug-Ins Software Development Tool Kit, SDKAXMEDIS, automated content production, AXCP, tools, DRM314 Hits Rating
-
AXMEDIS DE5.0.1.2 -- ANNEX 3 AXMEDIS Plug-Ins Software Development Tool Kit, SDK SWAXMEDIS, automated content production, AXCP, tools, DRM284 Hits Rating
-
AXMEDIS DE5.0.1.3 AXMEDIS Major Tools User Manuals and installation manual. Third UpdateAXMEDIS, automated content production, AXCP, tools, DRM270 Hits Rating
-
AXMEDIS Annex to DE5.1.1 of AXMEDIS project Descrizione delle proprietà del reference software IM1 PlayerAXMEDIS, automated content production, AXCP, tools, DRM289 Hits Rating
-
AXMEDIS DE5.1.1 AXMEDIS Framework InfrastructureAXMEDIS, automated content production, AXCP, tools, DRM263 Hits Rating
-
AXMEDIS DE5.1.2.3 AXMEDIS Framework for all, updateAXMEDIS, automated content production, AXCP, tools, DRM369 Hits Rating
-
AXMEDIS DE5.1.3.1 AXMEDIS Framework GuidelinesAXMEDIS, automated content production, AXCP, tools, DRM280 Hits Rating
-
AXMEDIS DE5.2.1 AXMEDIS Framework and ValidationAXMEDIS, automated content production, AXCP, tools, DRM251 Hits Rating
-
AXMEDIS DE5.2.2.3 AXMEDIS Framework Validation and Integration Report, third updateAXMEDIS, automated content production, AXCP, tools, DRM335 Hits Rating
-
AXMEDIS DE3.1.2.2.1 Specification of General Aspects of AXMEDIS framework, first update of DE3.1.2 part AAXMEDIS, automated content production, AXCP, tools, DRM281 Hits Rating