Formal Methods for Components and Objects, Fachbücher von Susanne Graf, Marcello M. Bonsangue

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue

Formal Methods For Components And Objects 7th International Symposium,

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher

Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu

From Object-Orientation to Formal Methods, Fachbücher

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher

Formal Methods For Mining Structured Objects 2074

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Formal Methods for Computer/Communications Protocols and Software, Fachbücher

Weakly supervised methods for learning actions and objects, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher