Italiano (it)formal methods
-
AXMEDIS DE3.1.2.3.11 Specification of AXMEDIS Programme and Publication Tools update of DE3.1.2.2.11AXMEDIS, automated content production, AXCP, tools, DRM299 Hits Rating
-
AXMEDIS DE3.1.2.3.12 Specification of AXMEDIS Workflow Tools, update of DE3.1.2.2.12AXMEDIS, automated content production, AXCP, tools, DRM341 Hits Rating
-
AXMEDIS DE3.1.2.3.14 Specification of AXMEDIS Protection Support UpdatAXMEDIS, automated content production, AXCP, tools, DRM258 Hits Rating
-
AXMEDIS DE3.1.2.3.15 Specification of AXMEDIS accounting and reporting, update of DE3.1.2.2.15AXMEDIS, automated content production, AXCP, tools, DRM271 Hits Rating
-
AXMEDIS Appendixes of the DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM359 Hits Rating
-
AXMEDIS DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM224 Hits Rating
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml371 Hits Rating
-
Temporal Logics for Real-Time System Specificationreal time systems specification, formal methods, tilco, uml The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and ...491 Hits Rating
-
Tools for Specifying Real-Time Systemsreal time systems specification, formal methods, tilco, uml341 Hits Rating
-
Cooperative Visual Manipulation of Music Notationbeen detected for computer-based applications of music; cooperative music notation editing both in orchestras and music schools is one of them. This article is the only public document describing ...419 Hits Rating