Benjamin Nicolle, Arnaud Legendre, Louis Ferrero, Leonhard Zastrow. Virtual skin: a behavioral approach helps verification. In 2009 IEEE International Behavioral Modeling and Simulation Workshop, BMAS 2009, San Jose, CA, USA, September 17-18, 2009. pages 7-12, IEEE, 2009. [doi]
Abstract is missing.