Mohlo by se vám také líbit

Více informací o knize Formal Techniques in Real-Time and Fault-Tolerant Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 331 bodů

Anotace knihy

This book presents state-of-the-art research results in the§area of formal methods for real-time and fault-tolerant§systems. The papers consider problems and solutions in§safety-critical system design and examine how wellthe use§of formal techniques for design, analysis and verification§serves in relating theory to practical realities.§The book contains papers on real-time and fault-tolerance§issues. Formal logic, process algebra, and action/event§models are applied:§- to specify and model qualitative and quantitative§real-time and fault-tolerant behavior,§- to analyze timeliness requirements and consequences of§faulthypotheses,§- to verify protocols and program code,§- to formulate formal frameworks for development of§real-time and fault-tolerant systems,§- to formulate semantics of languages.§The integration and cross-fertilization of real-time and§fault-tolerance issues have brought newinsights in recent§years, and these are presented in this book.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

• Plný název: Formal Techniques in Real-Time and Fault-Tolerant Systems
• Podnázev: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings
• Autor: Jan Vytopil
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 628
• EAN: 9783540550921
• ISBN: 3540550925
• ID: 02092606
• Nakladatelství: Springer, Berlin
• Hmotnost: 1060 g
• Rozměry: 234 × 156 × 32 mm
• Rok vydání: 1991

Oblíbené z jiného soudku

---

---

---