Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Formal Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book An Introduction To Viscosity Solutions for Fully Nonlinear PDE with Applications to Calculus of Variations in L∞ by

bigCover of the book Functionals of Multidimensional Diffusions with Applications to Finance by

bigCover of the book Solid-State-Drives (SSDs) Modeling by

bigCover of the book Robotics Research by

bigCover of the book Handbook of the Sociology of Racial and Ethnic Relations by

bigCover of the book Posthumanism and Higher Education by

bigCover of the book Citizen Empowerment and Innovation in the Data-Rich City by

bigCover of the book Chadwick F. Alger by

bigCover of the book Radiation Therapy in Hematologic Malignancies by

bigCover of the book Advances in Mathematical Modeling, Optimization and Optimal Control by

bigCover of the book Empirical Modeling and Data Analysis for Engineers and Applied Scientists by

bigCover of the book Organic Sonochemistry by

bigCover of the book Space Safety is No Accident by

bigCover of the book Guide to Cisco Routers Configuration by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy