About this document
Real-Time Specification Patterns for Model Checking by avinmj is a document available to read on EtoBox.
- Author
- avinmj
- Language
- EN
About this book
This document proposes a set of real-time specification patterns for expressing timing constraints commonly found in reactive systems. It defines patterns as extensions of Dwyer
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…