Peter Fenelon

Learn More
Traditional methods for the assessment of software safety suffer from poor integration (from methodological, operational and semantic points of view) both with each other and with the rest of the development lifecycle of safety-critical systems. Our goal is to develop a set of methods and tools which address these weaknesses, and this paper describes our(More)
  • 1