Warehouse Stock Clearance Sale

Grab a bargain today!


FM 2012: Formal Methods
By

Rating

Product Description
Product Details

Table of Contents

Verification.- synthesis.- runtime monitoring.- testing and controller synthesis.- novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Ask a Question About this Product More...
 
People also searched for
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit this link.

Back to top