DISIT Lab of University of Florence | DISIT Lab of University of Florence

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: SELECT u.*, s.* FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.sid = '3e46392cec80420d00f6e8cd165ee3b4' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
DISIT Lab of University of Florence | DISIT Lab of University of Florence

deep search

collection's Playback

Metadata

Metadata languages

Title Tools for Specifying Real-Time Systems

Subject real time systems specification, formal methods, tilco, uml

Description real time systems specification, formal methods, tilco, uml

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Fri, 2014-02-07 01:03

Search Filter

Content

Organize Personal Collection

Select resources to add to collections

Do you really want to start
from scratch?

Classification

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 = 1752067765 WHERE sid = '3e46392cec80420d00f6e8cd165ee3b4' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128