Formal Methods for Open Object-Based Distributed Systems

Bỡi Bonsangue, Marcello M., Johnsen, Einar Broch
Được phát hành 2020

It's All About Coordination

Bỡi Boer, Frank de, Bonsangue, Marcello, Rutten, Jan
Được phát hành 2020

Formal Methods for Components and Objects

Bỡi Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Được phát hành 2020

Formal Methods for Components and Objects

Bỡi Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Được phát hành 2020