A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems.
Eduard KamburjanStefan MitschReiner HähnlePublished in: Leibniz Trans. Embed. Syst. (2022)
Keyphrases
- programming language
- hybrid systems
- general purpose
- object oriented
- software engineering
- strongly typed
- black box
- high level
- discrete event
- intelligent systems
- logic programming
- denotational semantics
- functional programming
- abstract data types
- meta learning
- neural network
- model checking
- computational intelligence
- artificial intelligence
- soft computing
- metamodel
- knowledge management
- data mining
- databases