A type-checker for real-time Object-Z
Specification languages are extensively used for capturing the requirements of safety-critical and real-time applications. Most of the specification languages reported in the literature for real-time appli ations are functional; there are few object-oriented real-time specification languages such as...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2007
|
| Online Access: | http://hdl.handle.net/1993/870 |