Expressing and Organizing Specification Patterns with TILCO-X

deep search

collection's Playback

Metadata

Metadata languages

Title Expressing and Organizing Specification Patterns with TILCO-X

Subject Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines

Description Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Thurs, 2014-02-06 00:55

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

New Menu

Related objects by text

Comments

collection's Playback

Metadata

Actions

Search Filter

Content

Organize Personal Collection

Classification