Industrial deployment of system engineering methods providing high dependability and productivity

 

Proceedings of the 11th workshop on Automated Verification of Critical Systems

Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems. Newcastle University.

[img]
Preview
PDF
7Mb

Abstract

This volume contains the proceedings of the 11th workshop on Automated Verification of Critical Systems that was hosted by Newcastle University and took place during September 12-14, 2011 in Newcastle upon Tyne, UK. The workshop is supported by DEPLOY.

Item Type:Book
Subjects:Event-B
Methodology
Tool developments
ID Code:330
Deposited By: Prof A Romanovsky
Deposited On:02 Sep 2011 08:43
Last Modified:18 May 2012 14:19

Repository Staff Only: item control page

Deploy-Project - All right reserved