Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.

Luca Simoncini

Browse the full ISADS paper archive.