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