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...

Full description

Bibliographic Details
Main Author: Thiruvillamalai, Varadarajan
Language:en_US
Published: 2007
Online Access:http://hdl.handle.net/1993/870

Similar Items