2017
MAS 2017 Proceeding
Design by contract of cyber-physical systems driven by simulation and based on properties modeling
Authors: A. Tundis, M. Muhlhauser
Abstract
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
