Development and Formal Verification of TTCAN

By Gabriel Leen

Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems are... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 383833728X
• ISBN13: 9783838337289
• Release Date: April 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 224 Pages
• Weight: 0.74 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"