Analyzing a space-protocol: from specification, simulation to experimentation.

Marc Andreu, Michle Haziza, Claude Jard, Jean-Marc Jzquel

Browse the full FORTE paper archive.