Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII &#

Formal Techniques for Distributed Objects, Components, and Systems, Elvira Alber

Formal Techniques for Distributed Objects, Components, and Systems, Ahmed Bouajj

Formal Techniques for Distributed Objects, Components, and Systems, Christel Bai

Modeling, Estimation, and Their Applications for Distributed Parameter Systems,

Formal Techniques for Distributed Objects, Components, and Systems, Susanne Graf

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP

Formal Methods for Open Object-Based Distributed Systems, Elie Najm et Jean-Bern