Raimar Lill, Francesca Saglietti. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. In Erwin Schoitsch, Amund Skavhaug, editors, SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL, 2013. [doi]
Abstract is missing.