Formal Techniques For Distributed Systems 11th Ifip Wg 6.1

Distributed Applications And Interoperable Systems 20th Ifip Wg 6.1

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

Formal Techniques For Distributed Objects, Components, And Systems

Formal Techniques For Networked And Distributed Systems Forte 2001

Descriptional Complexity Of Formal Systems 23rd Ifip Wg 1.02

Testing Software And Systems 29th Ifip Wg 6.1 International

Testing Of Software And Communication Systems 21st Ifip Wg 6.1

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

Technological Innovation For Resilient Systems 9th Ifip Wg

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

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

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

Collaborative Systems For Reindustrialization 14th Ifip Wg 5.5 Working

Technological Innovation For Cyber-physical Systems 7th Ifip Wg

Collaborative Systems For Smart Networked Environments 15th Ifip Wg