Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

A Concurrency and Time Centered Framework for Autonomous Space Systems


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 5,066

Availability: In stock

  • Product Description

Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation of the first concurrency and time centered framework for design and certification of autonomous space systems. We achieve this by implementing and applying a number of innovative techniques for lock-free concurrent synchronization and utilizing advanced program static analysis and formal verification.

Product Specifications
SKU :COC37786
AuthorDamian Dechev
Number of Pages180
Publishing Year7/27/2010
Edition1 st
Book TypeComputer hardware
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-31 00:00:00