Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Distributed Objects, Components, and Sy... - 9783319602240

Bouajjani - Formal Techniques for Distributed Objects Components and - X555z

Distributed Applications and Interoperable Systems 24th IFIP WG 6

Analysis and Synthesis for Networked Multi-Rate Systems - 9781032619491

Nonlinear Control and Filtering for Stochastic Networked Systems - 9780367656867

Optimization Techniques: IFIP Technical Conference, Novosibirsk, July 1-7 338278

Distributed Platforms Proceedings of the IFIP/IEEE International