{"product_id":"formal-techniques-in-real-time-and-fault-tolerant-systems-second-international-symposium-nijmegen-the-netherlands-january-8-10-1992-proceedings-von-jan-vytopil-hrsg","title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","description":"This book presents state-of-the-art research results in the\narea of formal  methods for real-time and fault-tolerant\nsystems. The papers consider       problems and solutions in\nsafety-critical system design and examine how wellthe use\nof formal techniques for design, analysis and                       verification\nserves in relating theory to practical realities.\nThe book contains papers on real-time and fault-tolerance\nissues. Formal logic,      process algebra, and action\/event\nmodels are applied:\n- to specify and  model qualitative and quantitative\nreal-time and fault-tolerant             behavior,\n- to analyze timeliness requirements and consequences of\nfaulthypotheses,\n- to verify protocols and program code,\n- to formulate      formal frameworks for development of\nreal-time and fault-tolerant           systems,\n- to formulate semantics of languages.\nThe integration and     cross-fertilization of real-time and\nfault-tolerance issues have brought newinsights in recent\nyears, and these are presented in this book.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540550921\"\u003e\u003ch3\u003eSecond International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540550921","offer_id":39436670402653,"sku":"9783540550921","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f948a98c-0188-4749-8aa7-da3d398d4365.jpg?v=1773554399","url":"https:\/\/shop.autorenwelt.de\/products\/formal-techniques-in-real-time-and-fault-tolerant-systems-second-international-symposium-nijmegen-the-netherlands-january-8-10-1992-proceedings-von-jan-vytopil-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}