Publisher's Synopsis
This volume contains the proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems. Topics include: distributed systems; architecture; modelling; agents; design; verification and validation; and more.