Nicolas Navet, Stephan Merz

Modeling and verification of real-time systems

formalisms and software tools

We couldn't estimate the reading time for this book.

Author

Contributions

Navet, Nicolas. - Contributor
Merz, Stephan. - Contributor

Publication

2008 - ISTE/John Wiley, Hoboken, NJ, New Jersey

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

Internet Archivemodelingverifica00nave
ISBN-139781848210134
ISBN-101848210132
Library of Congress Control Number2007045063
OCLC Control Number180190932

and 2 more

Better World Books9781848210134
Open LibraryOL16364425M

Classifications

DDC004.01/51
LCCQA76.54 .M635 2008
LCCQA76.54.M635 2008

Subjects

Topics

Verification Computer software Real-time data processing Computer software, verification Formal methods (Computer science)Computer software -- Verification

Links

Other Editions

Modeling and verification of real-time systems: formalisms and software toolsISTE/John Wiley2008-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!