Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Allen, Robert J., James, Garlan and Ivers, David. 2001. “Formal Modeling and Analysis of the HLA Component Integration Standard.”ACM SIGSOFT Software Engineering Notes 23(6): 70–79.