Login / Signup
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments.
Vanessa Tietz
Julian Schoepf
Andreas Waldvogel
Björn Annighöfer
Published in:
MoDELS (2021)
Keyphrases
</>
safety critical
modeling framework
formal methods
embedded systems
agent architecture
topic modeling
cyber physical
artificial intelligence
knowledge based systems
adaptive systems
real time
information retrieval
distributed systems
support systems
text mining
model checking