Articoli correlati a Formal Modeling and Analysis of Timed Systems: 15th...

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Brossura

 
9783319657660: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Brossura
ISBN 10: 3319657666 ISBN 13: 9783319657660
Casa editrice: Springer, 2017

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2017
  • ISBN 10 3319657666
  • ISBN 13 9783319657660
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319657646: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings: 15th International Conference, Proceedings: 10419

Edizione in evidenza

ISBN 10:  331965764X ISBN 13:  9783319657646
Casa editrice: Springer, 2017
Brossura