Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th ... Notes in Computer Science, 13273, Band 13273)
Ein praxisnahes Nachschlagewerk, das formale Ansätze für verteilte Objekte und Komponenten beleuchtet, neue Modellierungskonzepte vorstellt und dere ...