logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Modeling and Verification of Real-time Systems by Nicolas Navet, Stephan Merz ISBN 9781848210134, 1848210132

  • SKU: EBN-1693522
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.4

29 reviews
Instant download (eBook) Modeling and Verification of Real-time Systems after payment.
Authors:Nicolas Navet, Stephan Merz
Pages:395 pages.
Year:2008
Editon:1
Publisher:Wiley-ISTE
Language:english
File Size:2.18 MB
Format:pdf
ISBNS:9781848210134, 1848210132
Categories: Ebooks

Product desciption

(Ebook) Modeling and Verification of Real-time Systems by Nicolas Navet, Stephan Merz ISBN 9781848210134, 1848210132

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) Biota Grow 2C gather 2C cook by Loucas, Jason; Viles, James ISBN 9781459699816, 9781743365571, 9781925268492, 1459699815, 1743365578, 1925268497

$40 $32
-20%

(Ebook) Real-Time Systems: Scheduling, Analysis, and Verification by Albert M. K. Cheng ISBN 0471184063

4.8

5 reviews
$40 $32
-20%

(Ebook) Automotive Embedded Systems Handbook by Nicolas Navet, Francoise Simonot-Lion ISBN 9780849380266, 084938026X

4.4

14 reviews
$40 $32
-20%

(Ebook) Real-Time Systems: Formal Specification and Automatic Verification by Ernst-Rudiger Olderog, Henning Dierks ISBN 9780521883337, 0521883334

$40 $32
-20%

(Ebook) The Inverse Method: Parametric Verification of Real-time Unbedded Systems by Etienne André, Romain Soulat ISBN 9781848214477, 1848214472

4.4

28 reviews
$40 $32
-20%

(Ebook) SAT II Success MATH 1C and 2C 2002 (Peterson's SAT II Success) by Peterson's ISBN 9780768906677, 0768906679

$40 $32
-20%

(Ebook) Matematik 5000+ Kurs 2c Lärobok by Lena Alfredsson, Hans Heikne, Sanna Bodemyr ISBN 9789127456600, 9127456609

4.6

12 reviews
$40 $32
-20%

(Ebook) Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX by Alan Burns, Andy Wellings ISBN 9780321417459, 0321417453

$40 $32
-20%

(Ebook) Real Time Programming: Languages, Specification & Verification by R. K. Shyamasundar, S. Ramesh ISBN 9810225660

4.6

34 reviews
$40 $32