English (en-US)industrial application
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...469 Accessi Voto
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines341 Accessi Voto
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...484 Accessi Voto
-
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 Accessi Voto
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines436 Accessi Voto
-
AXMEDIS DE1.7.1 Project PresentationAXMEDIS, automated content production, AXCP, tools, DRM423 Accessi Voto
-
AXMEDIS DE2.1.1.2.1 User Requirements, First Update of DE2.1.1aAXMEDIS, automated content production, AXCP, tools, DRM435 Accessi Voto
-
AXMEDIS DE2.1.1.2.2 Use Cases and Scenarios, First Update of DE2.1.1bAXMEDIS, automated content production, AXCP, tools, DRM446 Accessi Voto
-
AXMEDIS DE2.1.1a User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM462 Accessi Voto
-
AXMEDIS DE2.1.1b User Requirements and use casesAXMEDIS, automated content production, AXCP, tools, DRM435 Accessi Voto
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1745587676 WHERE sid = '041a6469d9e6f2704cf7234403597736' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128