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

deep search

collection's Playback

Metadata

Lingua dei metadati

Titolo Expressing and Organizing Specification Patterns with TILCO-X

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

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

Tecnico

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

Pubblicato da root il Gio, 2014-02-06 00:55

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Select resources to add to collections

Vuoi veramente ripartire
dal zero?

Classificazione