Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference On Formal Methods For Open Object-Based . . ... and Communication Technology, 10, Band 10)
Ein Leitfaden, der die Prinzipien formaler Methoden für offene, objektbasierte verteilte Systeme erläutert, neue Modellierungswerkzeuge vorstellt un ...