High Level Transition Systems of CSP Specifications

By Markus Dahlweid, Uwe Schulze, Uwe Schulze Markus Dahlweid

State of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 363900972X
• ISBN13: 9783639009729
• Release Date: May 2008
• Publisher: VDM Verlag Dr. Mueller E.K.
• Length: 460 Pages
• Weight: 1.34 lbs.
• Dimensions: 0.9" x 6.0" x 9.0"