Compositional Verification of Concurrent and Real-Time Systems - Info and Reading Options
By Eric Y. T. Juan, Eric Y.T. Juan and Jeffrey J.P. Tsai
"Compositional Verification of Concurrent and Real-Time Systems" was published by Kluwer Academic Publishers in 2002 - Boston, the book is classified in Computers genre, it has 196 pages and the language of the book is English.
“Compositional Verification of Concurrent and Real-Time Systems” Metadata:
- Title: ➤ Compositional Verification of Concurrent and Real-Time Systems
- Authors: Eric Y. T. JuanEric Y.T. JuanJeffrey J.P. Tsai
- Language: English
- Number of Pages: 196
- Is Family Friendly: Yes - No Mature Content
- Publisher: Kluwer Academic Publishers
- Publish Date: 2002
- Publish Location: Boston
- Genres: Computers
“Compositional Verification of Concurrent and Real-Time Systems” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Real-time data processing - Verification - Computer systems - Software engineering - Parallel Processing - Computers - Technology & Industrial Arts - Programming - Software Development - Computer Books: General - Programming - Parallel Programming - Parallel processing (Electroni - Data Processing - Parallel Processing - General - Computers / Parallel Processing - Computers / Programming / Software Development - Computers : Programming - Software Development - Medical : General - Parallel processing (electronic computers)
Edition Specifications:
- Pagination: xvii, 196 p. :
Edition Identifiers:
- Google Books ID: QlWvGaRdEiIC
- The Open Library ID: OL20645098M - OL13185560W
- Library of Congress Control Number (LCCN): 2002023653
- ISBN-13: 9781402070259
- ISBN-10: 140207025X
- All ISBNs: 140207025X - 9781402070259
AI-generated Review of “Compositional Verification of Concurrent and Real-Time Systems”:
Snippets and Summary:
This volume introduces important modeling and formal techniques for verifying the reliability and correctness of high-assurance software systems, with a focus on the efficient analysis of large-scale systems based on the concept of ...
"Compositional Verification of Concurrent and Real-Time Systems" Description:
Google Books:
This volume introduces important modeling and formal techniques for verifying the reliability and correctness of high-assurance software systems, with a focus on the efficient analysis of large-scale systems based on the concept of compositional verification of modules. Juan (Chung Yuan Christian U.) and Tsai (U. of Illinois at Chicago) present seven chapters that discuss introductory material, verification techniques for concurrent systems, multiset labeled transition systems, compositional verification using MLTS and Petri nets, tools and experiments, and delay time Petri nets and net reduction. Application areas include concurrent, distributed, embedded, and real- time systems. Annotation copyrighted by Book News, Inc., Portland, OR.
Read “Compositional Verification of Concurrent and Real-Time Systems”:
Read “Compositional Verification of Concurrent and Real-Time Systems” by choosing from the options below.
Explore a Free Online Preview of “Compositional Verification of Concurrent and Real-Time Systems”:
Visit our Preview page to read a free online excerpt provided by Google Books. Click the icon below to begin:
- Public Domain: No
- Availability Status: Partially available
- Availability Status for country: US.
- Available Formats: Text is not avialbe, image copy is available.
- Google Books Link: Google Books
Search for “Compositional Verification of Concurrent and Real-Time Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Compositional Verification of Concurrent and Real-Time Systems” in Libraries Near You:
Read or borrow “Compositional Verification of Concurrent and Real-Time Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Compositional Verification of Concurrent and Real-Time Systems” at a library near you.
Buy “Compositional Verification of Concurrent and Real-Time Systems” online:
Shop for “Compositional Verification of Concurrent and Real-Time Systems” on popular online marketplaces.
- Ebay: New and used books.