دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
دانلود کتاب زمان واقعی: نظریه در عمل: کارگاه REX Mook، هلند، 3-7 ژوئن 1991، پرونده
مشخصات کتاب
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
ویرایش: 1 نویسندگان: Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.) سری: Lecture Notes in Computer Science 600 ISBN (شابک) : 9783540555643, 9783540472186 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 732 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب زمان واقعی: نظریه در عمل: کارگاه REX Mook، هلند، 3-7 ژوئن 1991، پرونده: شبکه‌های ارتباطی رایانه‌ای، سیستم‌های مبتنی بر هدف خاص و کاربردی، سیستم‌های عامل، محاسبات با دستگاه‌های انتزاعی، منطق و معانی برنامه‌ها، منطق ریاضی و زبان‌های رسمی
در صورت تبدیل فایل کتاب Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زمان واقعی: نظریه در عمل: کارگاه REX Mook، هلند، 3-7 ژوئن 1991، پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زمان واقعی: نظریه در عمل: کارگاه REX Mook، هلند، 3-7 ژوئن 1991، پرونده
در دهه گذشته، تئوری رسمی مشخصات، تأیید و توسعه برنامه‌های بلادرنگ از کار چند گروه تخصصی به یک "باند واگن" واقعی تبدیل شده است. بسیاری از گروه های پژوهشی برجسته علایق خود را به این سمت تغییر داده اند. در نتیجه، تحقیق در زمان واقعی اکنون وارد حوزه‌های تحقیقاتی تثبیت‌شده در روش‌های رسمی، مانند جبر فرآیند، منطق زمانی، و بررسی مدل می‌شود. این جلد شامل مجموعه مقالات کارگاهی است که به تئوری بلادرنگ اختصاص یافته است با هدف عقب نشینی و مشاهده نتایج به دست آمده و همچنین در نظر گرفتن جهت گیری های تحقیق در حال انجام. این جلد تصویری معرف از آنچه در این زمینه در سرتاسر جهان می گذرد، توسط محققان برجسته و فعال ارائه شده است. مطالب این جلد پس از برگزاری کارگاه توسط نویسندگان تهیه شده است و منعکس کننده نتایج بحث های کارگاه است.
توضیحاتی درمورد کتاب به خارجی
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.
فهرست مطالب
An old-fashioned recipe for real time....Pages 1-27
Verifying automata specifications of probabilistic real-time systems....Pages 28-44
The theory of timed automata....Pages 45-73
Logics and models of real time: A survey....Pages 74-106
The state operator in real time process algebra....Pages 107-123
Timed process algebras with urgent interactions and a unique powerful binary operator....Pages 124-148
Time in state based formal description techniques for distributed systems....Pages 149-175
Real-time and the Mu-Calculus (preliminary report)....Pages 176-194
Implementing reactive programs on circuits a hardware implementation of LUSTRE....Pages 195-208
Semantics and completeness of Duration Calculus....Pages 209-225
Timed transition systems....Pages 226-251
Compositional verification of real-time systems using extended Hoare triples....Pages 252-290
Semantics of reactive systems in abstract time....Pages 291-314
Problems, promises and performance: some questions for real-time system specification....Pages 315-324
Abstraction in real time process algebra....Pages 325-352
(Real) time: A philosophical perspective....Pages 353-370
Specification and analysis of resource-bound real-time systems....Pages 371-396
Forward and backward simulations for timing-based systems....Pages 397-446
Prom timed to hybrid systems....Pages 447-484
Coping with implementation dependencies in real-time system verification....Pages 485-501
Validating real-time systems by executing logic specifications....Pages 502-525
An overview and synthesis on timed process algebras....Pages 526-548
From ATP to timed graphs and hybrid systems....Pages 549-572
Verification of safety critical systems using TTM/RTTL....Pages 573-602
Predicative specification of timed processes....Pages 603-617
Putting time into proof outlines....Pages 618-639
Timed CSP: Theory and practice....Pages 640-675
A specification of the cat and mouse problem....Pages 676-686
Layering and action refinement for timed systems....Pages 687-723
