Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Modeling and Analysis of Timed Systems

More books from Springer International Publishing

bigCover of the book Information Security and Privacy by
bigCover of the book Liver, Lung and Heart Regeneration by
bigCover of the book Partial Differential Equations by
bigCover of the book Earth's Early Atmosphere and Oceans, and The Origin of Life by
bigCover of the book Narratives of Inequality by
bigCover of the book High Performance Computing by
bigCover of the book Discovery Science by
bigCover of the book The Pragmeme of Accommodation: The Case of Interaction around the Event of Death by
bigCover of the book Ecosystem Services of Headwater Catchments by
bigCover of the book Neo-Environmental Determinism by
bigCover of the book Evolution Science and Ethics in the Third Millennium by
bigCover of the book Practical Text Analytics by
bigCover of the book Never Split Tens! by
bigCover of the book From Robot to Human Grasping Simulation by
bigCover of the book Medullary Thyroid Carcinoma 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