English (en-US)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, DRM315 Accessi Voto
-
AXMEDIS DE3.1.2.3.12 Specification of AXMEDIS Workflow Tools, update of DE3.1.2.2.12AXMEDIS, automated content production, AXCP, tools, DRM354 Accessi Voto
-
AXMEDIS DE3.1.2.3.14 Specification of AXMEDIS Protection Support UpdatAXMEDIS, automated content production, AXCP, tools, DRM271 Accessi Voto
-
AXMEDIS DE3.1.2.3.15 Specification of AXMEDIS accounting and reporting, update of DE3.1.2.2.15AXMEDIS, automated content production, AXCP, tools, DRM281 Accessi Voto
-
AXMEDIS Appendixes of the DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM370 Accessi Voto
-
AXMEDIS DE3.1.3 AXMEDIS Content Aspects Specification and Specification of Training and DemonstrationAXMEDIS, automated content production, AXCP, tools, DRM241 Accessi Voto
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml391 Accessi Voto
-
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 ...493 Accessi Voto
-
Tools for Specifying Real-Time Systemsreal time systems specification, formal methods, tilco, uml347 Accessi Voto
-
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 ...424 Accessi Voto