Warning: Duplicate entry '4731972' for key 'PRIMARY'
query: INSERT INTO watchdog
(uid, type, message, variables, severity, link, location, referer, hostname, timestamp)
VALUES
(0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:258:\"file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:39;}', 3, '', 'http://www.disit.org/drupal/?q=en-US%2Ftaxonomy%2Fterm%2F1235%2F1', '', '192.168.0.44', 1754687593) in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
Warning: Duplicate entry '4731972' for key 'PRIMARY'
query: INSERT INTO watchdog
(uid, type, message, variables, severity, link, location, referer, hostname, timestamp)
VALUES
(0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:256:\"file_get_contents(http://www.disit.org/RightBarMM.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:41;}', 3, '', 'http://www.disit.org/drupal/?q=en-US%2Ftaxonomy%2Fterm%2F1235%2F1', '', '192.168.0.44', 1754687593) in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128 industrial application | DISIT Lab of University of Florence
Temporal 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 ...
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Formal specification models provide support for ...
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 = 1756507632 WHERE sid = '389d3922dabf23e8702c35981b8b6f49' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128