Designing Distributed Control with Hybrid Active Objects
- 5 August 2021
- book chapter
- Published by Springer Nature
- p. 88-108
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- A Model-Based Scalability Optimization Methodology for Cloud Applications2017
- A Survey of Active Object LanguagesACM Computing Surveys, 2017
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems2015
- Compositional reasoning about active objects with shared futuresFormal Aspects of Computing, 2015
- SACO: Static Analyzer for Concurrent Objects2014
- Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models2012
- The Complete Proof Theory of Hybrid Systems2012
- ABS: A Core Language for Abstract Behavioral Specification2011
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995