Written by two well-known experts in the field with input from a broad network of industry specialists, The ROV Manual, Second Edition provides a complete training and reference guide to the use of observation class ROVs for surveying, inspection, and research purposes. This new edition has been thoroughly revised and substantially expanded, with nine new chapters, increased coverage of mid-…
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature t…
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
No Inv.: 110631-110633/P/Perp/07/3c
No Inv.: 110640-110643/P/Perp/07/3c
No Inv.: 111146-111150/P/Perp/07/5c
No Inv.: 110623-110627/P/Perp/07/5c~119173-119175/P/Perp/09/3c
No Inv.: 110779-110783/P/Perp/07/5c
No Inv.: 110664-110668/P/Perp/07/5c~118249-118251/P/Perp/09/3c
No Inv.: 111864-111867/P/Perp/08/4c~127911-127915/P/perp/10/5c