Andrea Alborghetti

Learn More
The importance of effective procedures for specification, validation, and verification in the development of correct and reliable computer-based systems can hardly be over-emphasized, especially in the case of timeand safety-critical systems. Validation and verification are most (cost) effective when performed in the initial phases of system development,(More)
  • 1