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