Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

SDL 2013: Model Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings