Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning.

Hlne Coullon, Claude Jard, Didier Lime

Browse the full IFM paper archive.