English (en-US)temporal logic
-
DISIT overview per le nuove call 2015-2016DISIT lab and research group is one of the most active ICT labs of the University of Florence, metropolitan Tuscany area. DISIT successfully developed a relevant number of International and ...2274 Accessi Voto
-
Volantino DISIT per l'ingegneria della conoscenza, analisi dei dati, elaborazione semanticaDISIT area e tecnologie di ricerca principali sono: dati e conoscenze mining, elaborazione semantica, elaborazione del linguaggio naturale, intelligenza artificiale, big data, analitica dei dati e ...3586 Accessi Voto
-
km4city - the Knowledge Model 4 the City (ENG version)Il progetto km4city mira a consentire l'interconnessione, stoccaggio e la successiva interrogazione di dati da molte fonti diverse, come i vari portali della regione Toscana ( MIIC, Muoversi in ...3549 Accessi Voto
-
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 ...472 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 machines347 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 ...490 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 machines443 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 machines442 Accessi Voto
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml389 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 ...492 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 = 1745587566 WHERE sid = 'b0cf20d85d8eed48f97340dce294ff8f' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128