Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
tarafından
Abate, Alessandro. editor.
Başlık
:
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Yazar
:
Abate, Alessandro. editor.
ISBN
:
9783319657653
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
X, 353 p. 93 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10419
Özet
:
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Konu Başlığı
:
Computer software.
Software engineering.
Computer science.
Computer simulation.
Logic design.
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Yazar Ek Girişi
:
Abate, Alessandro.
Geeraerts, Gilles.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 223108-1001 | QA76.9 .A43 | Springer E-Book Collection |