Data di Pubblicazione:
1996
Abstract:
Sommario non disponibile
Tipologia CRIS:
03.01 Monografia o trattato scientifico
Keywords:
Time-dependent behavious
Elenco autori:
Bolognesi, Tommaso
Link alla scheda completa:
Titolo del libro:
Formal methods in real-time systems