Login / Signup
Interaction detection in configurable systems - A formal approach featuring roles.
Philipp Chrszon
Christel Baier
Clemens Dubslaff
Sascha Klüppelholz
Published in:
J. Syst. Softw. (2023)
Keyphrases
</>
formal methods
learning algorithm
management system
object detection
detection algorithm
detection method
multi agent
distributed systems
building blocks
intrusion detection
learning systems
complex systems
retrieval systems
formal languages
collaborative environments