A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.

Juan-Jos Martins, Jean-Pierre Hubaux

Browse the full FM paper archive.