Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.

Fri, 01 Jan 1993 00:00:00 +0100

Albert Mo Kim Cheng , James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885 (1993)