Formal Methods for Open Object-Based Distributed Systems

द्वारा Bonsangue, Marcello M., Johnsen, Einar Broch
प्रकाशित 2020

It's All About Coordination

द्वारा Boer, Frank de, Bonsangue, Marcello, Rutten, Jan
प्रकाशित 2020

Formal Methods for Components and Objects

द्वारा Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
प्रकाशित 2020

Formal Methods for Components and Objects

द्वारा Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
प्रकाशित 2020