Formal Techniques For Distributed Systems 11th Ifip Wg 6.1

Distributed Applications And Interoperable Systems 18th Ifip Wg 6.1

Formal Techniques For Distributed Objects, Components, And Systems

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

Formal Techniques For Networked And Distributed Systems Forte 2001

Testing Software And Systems 30th Ifip Wg 6.1 International

Descriptional Complexity Of Formal Systems 19th Ifip Wg 1.02

Protocol Test Systems 7th Workshop 7th Ifip Wg 6.1 International

Testing Of Software And Communication Systems 21st Ifip Wg 6.1

Product Lifecycle Management For A Global Market 11th Ifip Wg 5.1

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Technological Innovation For Resilient Systems 9th Ifip Wg

Software Services For E-business And E-society 9th Ifip Wg 6.1

Design Methods And Applications For Distributed Embedded Systems Ifip

Collaborative Systems For Reindustrialization 14th Ifip Wg 5.5 Working