عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9781461353492
شابک
9781461510093
شماره کتابشناسی ملی
شماره
b403148
عنوان و نام پديدآور
عنوان اصلي
Compositional Verification of Concurrent and Real-Time Systems
نام عام مواد
[Book]
نام نخستين پديدآور
by Eric Y. T. Juan, Jeffrey J. P. Tsai.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA :
نام ناشر، پخش کننده و غيره
Imprint: Springer,
تاریخ نشرو بخش و غیره
2002.
فروست
عنوان فروست
Springer International Series in Engineering and Computer Science,
مشخصه جلد
676
شاپا ي ISSN فروست
0893-3405 ;
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9781461353492
قطعه
عنوان
Springer eBooks
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Electronic data processing.
موضوع مستند نشده
Mechanical engineering.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Juan, Eric Y. T.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Tsai, Jeffrey J. P.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20190301075800.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
