Verification of Reactive Systems

Formal Methods and Algorithms

Auteurs

• Klaus Schneider

Paramètres

• 620 pages
• 22 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

The importance of reactive systems spans technical, professional, and everyday life, presenting significant design challenges that balance safety and time-to-market. Early design phases now incorporate verification processes to compare specifications with system descriptions, enabling the identification of potential design errors at the earliest stages. This proactive approach is crucial for developing reliable and efficient reactive systems in various applications.

Achat du livre

• Année de publication: 2010
• Reliure: (souple)