Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus. Using Speed Diagrams for Symbolic Quality Management. In 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA. pages 1-8, IEEE, 2007. [doi]
Abstract is missing.