Kód: 02092606
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§o ... celý popis
139.57 €
Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.
Nákupom získate 345 bodov
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.
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Systems analysis & design
139.57 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )