عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9781461353492
(Number (ISBN
9781461510093
NATIONAL BIBLIOGRAPHY NUMBER
Number
b403148
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Compositional Verification of Concurrent and Real-Time Systems
General Material Designation
[Book]
First Statement of Responsibility
by Eric Y. T. Juan, Jeffrey J. P. Tsai.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston, MA :
Name of Publisher, Distributor, etc.
Imprint: Springer,
Date of Publication, Distribution, etc.
2002.
SERIES
Series Title
Springer International Series in Engineering and Computer Science,
Volume Designation
676
ISSN of Series
0893-3405 ;
SUMMARY OR ABSTRACT
Text of Note
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. It is essential, therefore, that software used for safety-critical systems preserves high assurance properties. Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. The book focuses on the efficient analysis of large-scale systems based on the concept of "compositional verification" of modules. Compositional Verification of Concurrent and Real-Time Systems is an excellent resource for student and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. The application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. The analysis models used are Multiset Labeled Transition Systems and Time Petri Nets.
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9781461353492
PIECE
Title
Springer eBooks
TOPICAL NAME USED AS SUBJECT
Computer science.
Electronic data processing.
Mechanical engineering.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Juan, Eric Y. T.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Tsai, Jeffrey J. P.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20190301075800.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
