Introduction to Queueing Systems with Telecommunication Applications

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Information Technologies and Mathematical Modelling 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday