Italiano (it)formal methods
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines439 Hits Rating
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines434 Hits Rating
-
AXMEDIS DE1.7.1 Project PresentationAXMEDIS, automated content production, AXCP, tools, DRM423 Hits Rating
-
AXMEDIS DE2.1.1.2.1 User Requirements, First Update of DE2.1.1aAXMEDIS, automated content production, AXCP, tools, DRM435 Hits Rating
-
AXMEDIS DE2.1.1.2.2 Use Cases and Scenarios, First Update of DE2.1.1bAXMEDIS, automated content production, AXCP, tools, DRM446 Hits Rating
-
AXMEDIS DE2.1.1a User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM462 Hits Rating
-
AXMEDIS DE2.1.1b User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM434 Hits Rating
-
AXMEDIS DE2.2.1.2 Test Cases and Content Description, First update of DE2.2.1AXMEDIS, automated content production, AXCP, tools, DRM415 Hits Rating
-
AXMEDIS DE2.2.1 Test Cases and Content DescriptionAXMEDIS, automated content production, AXCP, tools, DRM413 Hits Rating
-
AXMEDIS DE4.1.1.3 Content Modeling and ManagingAXMEDIS, automated content production, AXCP, tools, DRM369 Hits Rating