Hybrid automata are used as standard means for the specification andanalysis of dynamical systems. Several researches have approached them to formallyspecify reactive Multi-agent systems situated in a physical environment,where the agents react continuously to their environment. The specified...

So genannte Risikomanagement-Informationssysteme (RMIS) unterstützen Unternehmendarin, ihr Risiko-Management unternehmensweit durchzuführen. Im vorliegenden Beitraganalysieren wir mit Hilfe der Scoring-Methode die inhaltlichen Anforderungen an ein RMISund zeigen, wie das zu einer begründeten...