Skip to main content
PBS logo
 
 

Search - Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification of Coordinating Processes
ComputerAided Verification of Coordinating Processes
Author: Robert P. Kurshan
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design meth...  more »
ISBN-13: 9780691034362
ISBN-10: 0691034362
Publication Date: 2/6/1995
Pages: 272
Rating:
  ?
0 stars, based on 0 rating
Publisher: Princeton University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.