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

deep search

collection's Playback

Metadata

Metadata languages

Title An Interval Logic for RealTime System Specification

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