Posts Tagged Studies
Proof in VDM: Case Studies
Product Description
This volume provides an invaluable companion to Proof in VDM: A Practitioner’s Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of formal specifications (like most work in this area), it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via inst… More >>
Related posts
Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems
Product Description
The mobile robot systems described in this book were selected from among the best available implementations by leading universities and research laboratories. These are robots that have left the lab and been tested in natural and unknown environments. They perform many different tasks, from giving tours to collecting trash. Many have distinguished themselves (usually with first- or second-place finishes) at various indoor and outdoor mobile robot competitions. Ea… More >>
Related posts
World Robotics: Statistics, Market Analysis, Case Studies and Profitability of Robot Investment
World Robotics: Statistics, Market Analysis, Case Studies and Profitability of Robot Investment
Tags: Analysis, Case, case studies, Investment, Market, Profitability, Robot, robot investment, Robotics, Statistics, Studies, WorldRelated posts