eBooks Categories
.Net 3D
AJAX C/C++/C#
Certification CISCO
CSS Data Mining
DB2 Flash
Game Programming Google
Graphic Hacking
HTML iPhone/iPod
Java JavaScript
Linux Mac
Marketing Mobile
MS Office MySQL
Network Oracle
Perl Photoshop
PHP Python
Ruby on Rails SEO/SEM
SharePoint Six Sigma
Software Engineer Spring
SQL Server Testing
UML Visual Basic
Web Design Website
Windows XML


 Our Link
RSS for download free ebook RSS
Sitemap for download free ebook Sitemap , eBooks Link
Add your Link Add your Link

 Top eBook Website
Classified Ads Classified Ads
USA Classified Ads USA Classified Ads
Motorcycle Ratings Motorcycle Ratings
Cool eBook Library Cool eBook Library
Many eBook for Free Many eBook for Free

Verification » found eBooks 1 files

Download free Real-Time Systems: Formal Specification and Automatic Verification ebook Real-Time Systems: Formal Specification and Automatic Verification

ZIP eBook File "1.46 MB" , eBook Downloads [2655]   eBooks free download

Real-time systems need to react to certain input stimuli within given time bounds.

For example, an airbag in a car has to unfold within 300 milliseconds in a crash.

There are many embedded safety-critical applications

and each requires real-time specification techniques.

This text introduces three of these techniques, based on logic and automata: duration calculus,

timed automa ...

Download eBook Free »

Download Free Real-Time Systems: Formal Specification and Automatic Verification ebook

Search eBooks:
eBooks Page :
1