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 Principle-Based Stepped Care and Brief Psychotherapy for Integrated Care Settings by
bigCover of the book Free Speech and the State by
bigCover of the book Cyberemotions by
bigCover of the book Brain Edema XVI by
bigCover of the book The New Mountaineer in Late Victorian Britain by
bigCover of the book Sensors and Instrumentation, Aircraft/Aerospace, Energy Harvesting & Dynamic Environments Testing, Volume 7 by
bigCover of the book Newton’s Sensorium: Anatomy of a Concept by
bigCover of the book Integration as Solution for Advanced Smart Urban Transport Systems by
bigCover of the book Design of Structural Elements with Tropical Hardwoods by
bigCover of the book Dimensions of Practical Necessity by
bigCover of the book Combatting Corruption at the Grassroots Level in Nigeria by
bigCover of the book Neuroptera (Including Megaloptera) by
bigCover of the book Seawater Intrusion in the Coastal Alluvial Aquifers of the Mahanadi Delta by
bigCover of the book Family Businesses in the Arab World by
bigCover of the book Endohedral Fullerenes: Electron Transfer and Spin 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