Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Introduction -- DEPLOY Integrated Project -- Experience of Deployment in the Automotive Industry...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Industrial Experiences -- A Dependable Open Platform for Industrial Robotics – A Case Study...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
Table of Contents: “... and Lessons Learned -- Using Formal Proof and B Method at System Level for Industrial Projects -- A Novel...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
“... will not be sufficiently dependable, thus making their wide adoption by the industry more difficult. The dependability of a...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
“... – refactoring methods – industrial and academic case studies – development and analysis tools The organization...”